@ok
<?php

function zero_folding() {
echo '0 + 0 = '; var_dump (0 + 0);
echo '0 - 0 = '; var_dump (0 - 0);
echo '0 * 0 = '; var_dump (0 * 0);
echo '0 ^ 0 = '; var_dump (0 ^ 0);
echo '0 & 0 = '; var_dump (0 & 0);
echo '0 | 0 = '; var_dump (0 | 0);
echo '0 . 0 = '; var_dump (0 . 0);
echo '0 == 0 = '; var_dump (0 == 0);
echo '0 === 0 = '; var_dump (0 === 0);
echo '0 != 0 = '; var_dump (0 != 0);
echo '0 <> 0 = '; var_dump (0 <> 0);
echo '0 !== 0 = '; var_dump (0 !== 0);
echo '0 <= 0 = '; var_dump (0 <= 0);
echo '0 >= 0 = '; var_dump (0 >= 0);
echo '0 && 0 = '; var_dump (0 && 0);
echo '0 || 0 = '; var_dump (0 || 0);
echo '0 << 0 = '; var_dump (0 << 0);
echo '0 >> 0 = '; var_dump (0 >> 0);
echo '0 + 1 = '; var_dump (0 + 1);
echo '0 - 1 = '; var_dump (0 - 1);
#echo '0 / 1 = '; var_dump (0 / 1);
echo '0 * 1 = '; var_dump (0 * 1);
echo '0 % 1 = '; var_dump (0 % 1);
echo '0 ^ 1 = '; var_dump (0 ^ 1);
echo '0 & 1 = '; var_dump (0 & 1);
echo '0 | 1 = '; var_dump (0 | 1);
echo '0 . 1 = '; var_dump (0 . 1);
echo '0 == 1 = '; var_dump (0 == 1);
echo '0 === 1 = '; var_dump (0 === 1);
echo '0 != 1 = '; var_dump (0 != 1);
echo '0 <> 1 = '; var_dump (0 <> 1);
echo '0 !== 1 = '; var_dump (0 !== 1);
echo '0 <= 1 = '; var_dump (0 <= 1);
echo '0 >= 1 = '; var_dump (0 >= 1);
echo '0 && 1 = '; var_dump (0 && 1);
echo '0 || 1 = '; var_dump (0 || 1);
echo '0 << 1 = '; var_dump (0 << 1);
echo '0 >> 1 = '; var_dump (0 >> 1);
echo '0 + 5 = '; var_dump (0 + 5);
echo '0 - 5 = '; var_dump (0 - 5);
#echo '0 / 5 = '; var_dump (0 / 5);
echo '0 * 5 = '; var_dump (0 * 5);
echo '0 % 5 = '; var_dump (0 % 5);
echo '0 ^ 5 = '; var_dump (0 ^ 5);
echo '0 & 5 = '; var_dump (0 & 5);
echo '0 | 5 = '; var_dump (0 | 5);
echo '0 . 5 = '; var_dump (0 . 5);
echo '0 == 5 = '; var_dump (0 == 5);
echo '0 === 5 = '; var_dump (0 === 5);
echo '0 != 5 = '; var_dump (0 != 5);
echo '0 <> 5 = '; var_dump (0 <> 5);
echo '0 !== 5 = '; var_dump (0 !== 5);
echo '0 <= 5 = '; var_dump (0 <= 5);
echo '0 >= 5 = '; var_dump (0 >= 5);
echo '0 && 5 = '; var_dump (0 && 5);
echo '0 || 5 = '; var_dump (0 || 5);
echo '0 << 5 = '; var_dump (0 << 5);
echo '0 >> 5 = '; var_dump (0 >> 5);
echo '0 + -1 = '; var_dump (0 + -1);
echo '0 - -1 = '; var_dump (0 - -1);
#echo '0 / -1 = '; var_dump (0 / -1);
echo '0 * -1 = '; var_dump (0 * -1);
echo '0 % -1 = '; var_dump (0 % -1);
echo '0 ^ -1 = '; var_dump (0 ^ -1);
echo '0 & -1 = '; var_dump (0 & -1);
echo '0 | -1 = '; var_dump (0 | -1);
echo '0 . -1 = '; var_dump (0 . -1);
echo '0 == -1 = '; var_dump (0 == -1);
echo '0 === -1 = '; var_dump (0 === -1);
echo '0 != -1 = '; var_dump (0 != -1);
echo '0 <> -1 = '; var_dump (0 <> -1);
echo '0 !== -1 = '; var_dump (0 !== -1);
echo '0 <= -1 = '; var_dump (0 <= -1);
echo '0 >= -1 = '; var_dump (0 >= -1);
echo '0 && -1 = '; var_dump (0 && -1);
echo '0 || -1 = '; var_dump (0 || -1);
#echo '0 << -1 = '; var_dump (0 << -1);
#echo '0 >> -1 = '; var_dump (0 >> -1);
echo '0 + -10000 = '; var_dump (0 + -10000);
echo '0 - -10000 = '; var_dump (0 - -10000);
#echo '0 / -10000 = '; var_dump (0 / -10000);
echo '0 * -10000 = '; var_dump (0 * -10000);
echo '0 % -10000 = '; var_dump (0 % -10000);
echo '0 ^ -10000 = '; var_dump (0 ^ -10000);
echo '0 & -10000 = '; var_dump (0 & -10000);
echo '0 | -10000 = '; var_dump (0 | -10000);
echo '0 . -10000 = '; var_dump (0 . -10000);
echo '0 == -10000 = '; var_dump (0 == -10000);
echo '0 === -10000 = '; var_dump (0 === -10000);
echo '0 != -10000 = '; var_dump (0 != -10000);
echo '0 <> -10000 = '; var_dump (0 <> -10000);
echo '0 !== -10000 = '; var_dump (0 !== -10000);
echo '0 <= -10000 = '; var_dump (0 <= -10000);
echo '0 >= -10000 = '; var_dump (0 >= -10000);
echo '0 && -10000 = '; var_dump (0 && -10000);
echo '0 || -10000 = '; var_dump (0 || -10000);
#echo '0 << -10000 = '; var_dump (0 << -10000);
#echo '0 >> -10000 = '; var_dump (0 >> -10000);
echo '0 + true = '; var_dump (0 + true);
echo '0 - true = '; var_dump (0 - true);
#echo '0 / true = '; var_dump (0 / true);
echo '0 * true = '; var_dump (0 * true);
echo '0 % true = '; var_dump (0 % true);
echo '0 ^ true = '; var_dump (0 ^ true);
echo '0 & true = '; var_dump (0 & true);
echo '0 | true = '; var_dump (0 | true);
echo '0 . true = '; var_dump (0 . true);
echo '0 == true = '; var_dump (0 == true);
echo '0 === true = '; var_dump (0 === true);
echo '0 != true = '; var_dump (0 != true);
echo '0 <> true = '; var_dump (0 <> true);
echo '0 !== true = '; var_dump (0 !== true);
echo '0 <= true = '; var_dump (0 <= true);
echo '0 >= true = '; var_dump (0 >= true);
echo '0 && true = '; var_dump (0 && true);
echo '0 || true = '; var_dump (0 || true);
#echo '0 << true = '; var_dump (0 << true);
echo '0 >> true = '; var_dump (0 >> true);
echo '0 + false = '; var_dump (0 + false);
echo '0 - false = '; var_dump (0 - false);
echo '0 * false = '; var_dump (0 * false);
echo '0 ^ false = '; var_dump (0 ^ false);
echo '0 & false = '; var_dump (0 & false);
echo '0 | false = '; var_dump (0 | false);
echo '0 . false = '; var_dump (0 . false);
echo '0 == false = '; var_dump (0 == false);
echo '0 === false = '; var_dump (0 === false);
echo '0 != false = '; var_dump (0 != false);
echo '0 <> false = '; var_dump (0 <> false);
echo '0 !== false = '; var_dump (0 !== false);
echo '0 <= false = '; var_dump (0 <= false);
echo '0 >= false = '; var_dump (0 >= false);
echo '0 && false = '; var_dump (0 && false);
echo '0 || false = '; var_dump (0 || false);
#echo '0 << false = '; var_dump (0 << false);
echo '0 >> false = '; var_dump (0 >> false);
echo '0 + "String" = '; var_dump (0 + "String");
echo '0 - "String" = '; var_dump (0 - "String");
echo '0 * "String" = '; var_dump (0 * "String");
echo '0 ^ "String" = '; var_dump (0 ^ "String");
echo '0 & "String" = '; var_dump (0 & "String");
echo '0 | "String" = '; var_dump (0 | "String");
echo '0 . "String" = '; var_dump (0 . "String");
echo '0 == "String" = '; var_dump (0 == "String");
echo '0 === "String" = '; var_dump (0 === "String");
echo '0 != "String" = '; var_dump (0 != "String");
echo '0 <> "String" = '; var_dump (0 <> "String");
echo '0 !== "String" = '; var_dump (0 !== "String");
echo '0 <= "String" = '; var_dump (0 <= "String");
echo '0 >= "String" = '; var_dump (0 >= "String");
echo '0 && "String" = '; var_dump (0 && "String");
echo '0 || "String" = '; var_dump (0 || "String");
#echo '0 << "String" = '; var_dump (0 << "String");
echo '0 >> "String" = '; var_dump (0 >> "String");
echo '0 + "num3" = '; var_dump (0 + "num3");
echo '0 - "num3" = '; var_dump (0 - "num3");
echo '0 * "num3" = '; var_dump (0 * "num3");
echo '0 ^ "num3" = '; var_dump (0 ^ "num3");
echo '0 & "num3" = '; var_dump (0 & "num3");
echo '0 | "num3" = '; var_dump (0 | "num3");
echo '0 . "num3" = '; var_dump (0 . "num3");
echo '0 == "num3" = '; var_dump (0 == "num3");
echo '0 === "num3" = '; var_dump (0 === "num3");
echo '0 != "num3" = '; var_dump (0 != "num3");
echo '0 <> "num3" = '; var_dump (0 <> "num3");
echo '0 !== "num3" = '; var_dump (0 !== "num3");
echo '0 <= "num3" = '; var_dump (0 <= "num3");
echo '0 >= "num3" = '; var_dump (0 >= "num3");
echo '0 && "num3" = '; var_dump (0 && "num3");
echo '0 || "num3" = '; var_dump (0 || "num3");
#echo '0 << "num3" = '; var_dump (0 << "num3");
echo '0 >> "num3" = '; var_dump (0 >> "num3");
echo '0 + "3" = '; var_dump (0 + "3");
echo '0 - "3" = '; var_dump (0 - "3");
#echo '0 / "3" = '; var_dump (0 / "3");
echo '0 * "3" = '; var_dump (0 * "3");
echo '0 % "3" = '; var_dump (0 % "3");
echo '0 ^ "3" = '; var_dump (0 ^ "3");
echo '0 & "3" = '; var_dump (0 & "3");
echo '0 | "3" = '; var_dump (0 | "3");
echo '0 . "3" = '; var_dump (0 . "3");
echo '0 == "3" = '; var_dump (0 == "3");
echo '0 === "3" = '; var_dump (0 === "3");
echo '0 != "3" = '; var_dump (0 != "3");
echo '0 <> "3" = '; var_dump (0 <> "3");
echo '0 !== "3" = '; var_dump (0 !== "3");
echo '0 <= "3" = '; var_dump (0 <= "3");
echo '0 >= "3" = '; var_dump (0 >= "3");
echo '0 && "3" = '; var_dump (0 && "3");
echo '0 || "3" = '; var_dump (0 || "3");
#echo '0 << "3" = '; var_dump (0 << "3");
echo '0 >> "3" = '; var_dump (0 >> "3");
echo '0 + 6.702 = '; var_dump (0 + 6.702);
echo '0 - 6.702 = '; var_dump (0 - 6.702);
#echo '0 / 6.702 = '; var_dump (0 / 6.702);
echo '0 * 6.702 = '; var_dump (0 * 6.702);
echo '0 % 6.702 = '; @var_dump (0 % 6.702);
echo '0 ^ 6.702 = '; var_dump (0 ^ 6.702);
echo '0 & 6.702 = '; var_dump (0 & 6.702);
echo '0 | 6.702 = '; var_dump (0 | 6.702);
echo '0 . 6.702 = '; var_dump (0 . 6.702);
echo '0 == 6.702 = '; var_dump (0 == 6.702);
echo '0 === 6.702 = '; var_dump (0 === 6.702);
echo '0 != 6.702 = '; var_dump (0 != 6.702);
echo '0 <> 6.702 = '; var_dump (0 <> 6.702);
echo '0 !== 6.702 = '; var_dump (0 !== 6.702);
echo '0 <= 6.702 = '; var_dump (0 <= 6.702);
echo '0 >= 6.702 = '; var_dump (0 >= 6.702);
echo '0 && 6.702 = '; var_dump (0 && 6.702);
echo '0 || 6.702 = '; var_dump (0 || 6.702);
#echo '0 << 6.702 = '; var_dump (0 << 6.702);
#echo '0 >> 6.702 = '; var_dump (0 >> 6.702);
echo '0 + 40.4e3 = '; var_dump (0 + 40.4e3);
echo '0 - 40.4e3 = '; var_dump (0 - 40.4e3);
#echo '0 / 40.4e3 = '; var_dump (0 / 40.4e3);
echo '0 * 40.4e3 = '; var_dump (0 * 40.4e3);
echo '0 % 40.4e3 = '; var_dump (0 % 40.4e3);
echo '0 ^ 40.4e3 = '; var_dump (0 ^ 40.4e3);
echo '0 & 40.4e3 = '; var_dump (0 & 40.4e3);
echo '0 | 40.4e3 = '; var_dump (0 | 40.4e3);
echo '0 . 40.4e3 = '; var_dump (0 . 40.4e3);
echo '0 == 40.4e3 = '; var_dump (0 == 40.4e3);
echo '0 === 40.4e3 = '; var_dump (0 === 40.4e3);
echo '0 != 40.4e3 = '; var_dump (0 != 40.4e3);
echo '0 <> 40.4e3 = '; var_dump (0 <> 40.4e3);
echo '0 !== 40.4e3 = '; var_dump (0 !== 40.4e3);
echo '0 <= 40.4e3 = '; var_dump (0 <= 40.4e3);
echo '0 >= 40.4e3 = '; var_dump (0 >= 40.4e3);
echo '0 && 40.4e3 = '; var_dump (0 && 40.4e3);
echo '0 || 40.4e3 = '; var_dump (0 || 40.4e3);
#echo '0 << 40.4e3 = '; var_dump (0 << 40.4e3);
#echo '0 >> 40.4e3 = '; var_dump (0 >> 40.4e3);
echo '0 + 0x786F = '; var_dump (0 + 0x786F);
echo '0 - 0x786F = '; var_dump (0 - 0x786F);
#echo '0 / 0x786F = '; var_dump (0 / 0x786F);
echo '0 * 0x786F = '; var_dump (0 * 0x786F);
echo '0 % 0x786F = '; var_dump (0 % 0x786F);
echo '0 ^ 0x786F = '; var_dump (0 ^ 0x786F);
echo '0 & 0x786F = '; var_dump (0 & 0x786F);
echo '0 | 0x786F = '; var_dump (0 | 0x786F);
echo '0 . 0x786F = '; var_dump (0 . 0x786F);
echo '0 == 0x786F = '; var_dump (0 == 0x786F);
echo '0 === 0x786F = '; var_dump (0 === 0x786F);
echo '0 != 0x786F = '; var_dump (0 != 0x786F);
echo '0 <> 0x786F = '; var_dump (0 <> 0x786F);
echo '0 !== 0x786F = '; var_dump (0 !== 0x786F);
echo '0 <= 0x786F = '; var_dump (0 <= 0x786F);
echo '0 >= 0x786F = '; var_dump (0 >= 0x786F);
echo '0 && 0x786F = '; var_dump (0 && 0x786F);
echo '0 || 0x786F = '; var_dump (0 || 0x786F);
#echo '0 << 0x786F = '; var_dump (0 << 0x786F);
echo '0 >> 0xF = '; var_dump (0 >> 0xF);
echo '~ 0 = '; var_dump (~ 0);
echo '! 0 = '; var_dump (! 0);
}

zero_folding();

function one_folding() {
echo '1 + 0 = '; var_dump (1 + 0);
echo '1 - 0 = '; var_dump (1 - 0);
echo '1 * 0 = '; var_dump (1 * 0);
echo '1 ^ 0 = '; var_dump (1 ^ 0);
echo '1 & 0 = '; var_dump (1 & 0);
echo '1 | 0 = '; var_dump (1 | 0);
echo '1 . 0 = '; var_dump (1 . 0);
echo '1 == 0 = '; var_dump (1 == 0);
echo '1 === 0 = '; var_dump (1 === 0);
echo '1 != 0 = '; var_dump (1 != 0);
echo '1 <> 0 = '; var_dump (1 <> 0);
echo '1 !== 0 = '; var_dump (1 !== 0);
echo '1 <= 0 = '; var_dump (1 <= 0);
echo '1 >= 0 = '; var_dump (1 >= 0);
echo '1 && 0 = '; var_dump (1 && 0);
echo '1 || 0 = '; var_dump (1 || 0);
#echo '1 << 0 = '; var_dump (1 << 0);
echo '1 >> 0 = '; var_dump (1 >> 0);
echo '1 + 1 = '; var_dump (1 + 1);
echo '1 - 1 = '; var_dump (1 - 1);
#echo '1 / 1 = '; var_dump (1 / 1);
echo '1 * 1 = '; var_dump (1 * 1);
echo '1 % 1 = '; var_dump (1 % 1);
echo '1 ^ 1 = '; var_dump (1 ^ 1);
echo '1 & 1 = '; var_dump (1 & 1);
echo '1 | 1 = '; var_dump (1 | 1);
echo '1 . 1 = '; var_dump (1 . 1);
echo '1 == 1 = '; var_dump (1 == 1);
echo '1 === 1 = '; var_dump (1 === 1);
echo '1 != 1 = '; var_dump (1 != 1);
echo '1 <> 1 = '; var_dump (1 <> 1);
echo '1 !== 1 = '; var_dump (1 !== 1);
echo '1 <= 1 = '; var_dump (1 <= 1);
echo '1 >= 1 = '; var_dump (1 >= 1);
echo '1 && 1 = '; var_dump (1 && 1);
echo '1 || 1 = '; var_dump (1 || 1);
#echo '1 << 1 = '; var_dump (1 << 1);
echo '1 >> 1 = '; var_dump (1 >> 1);
echo '1 + 5 = '; var_dump (1 + 5);
echo '1 - 5 = '; var_dump (1 - 5);
#echo '1 / 5 = '; var_dump (1 / 5);
echo '1 * 5 = '; var_dump (1 * 5);
echo '1 % 5 = '; var_dump (1 % 5);
echo '1 ^ 5 = '; var_dump (1 ^ 5);
echo '1 & 5 = '; var_dump (1 & 5);
echo '1 | 5 = '; var_dump (1 | 5);
echo '1 . 5 = '; var_dump (1 . 5);
echo '1 == 5 = '; var_dump (1 == 5);
echo '1 === 5 = '; var_dump (1 === 5);
echo '1 != 5 = '; var_dump (1 != 5);
echo '1 <> 5 = '; var_dump (1 <> 5);
echo '1 !== 5 = '; var_dump (1 !== 5);
echo '1 <= 5 = '; var_dump (1 <= 5);
echo '1 >= 5 = '; var_dump (1 >= 5);
echo '1 && 5 = '; var_dump (1 && 5);
echo '1 || 5 = '; var_dump (1 || 5);
#echo '1 << 5 = '; var_dump (1 << 5);
echo '1 >> 5 = '; var_dump (1 >> 5);
echo '1 + -1 = '; var_dump (1 + -1);
echo '1 - -1 = '; var_dump (1 - -1);
#echo '1 / -1 = '; var_dump (1 / -1);
echo '1 * -1 = '; var_dump (1 * -1);
echo '1 % -1 = '; var_dump (1 % -1);
echo '1 ^ -1 = '; var_dump (1 ^ -1);
echo '1 & -1 = '; var_dump (1 & -1);
echo '1 | -1 = '; var_dump (1 | -1);
echo '1 . -1 = '; var_dump (1 . -1);
echo '1 == -1 = '; var_dump (1 == -1);
echo '1 === -1 = '; var_dump (1 === -1);
echo '1 != -1 = '; var_dump (1 != -1);
echo '1 <> -1 = '; var_dump (1 <> -1);
echo '1 !== -1 = '; var_dump (1 !== -1);
echo '1 <= -1 = '; var_dump (1 <= -1);
echo '1 >= -1 = '; var_dump (1 >= -1);
echo '1 && -1 = '; var_dump (1 && -1);
echo '1 || -1 = '; var_dump (1 || -1);
#echo '1 << -1 = '; var_dump (1 << -1);
#echo '1 >> -1 = '; var_dump (1 >> -1);
echo '1 + -10000 = '; var_dump (1 + -10000);
echo '1 - -10000 = '; var_dump (1 - -10000);
#echo '1 / -10000 = '; var_dump (1 / -10000);
echo '1 * -10000 = '; var_dump (1 * -10000);
echo '1 % -10000 = '; var_dump (1 % -10000);
echo '1 ^ -10000 = '; var_dump (1 ^ -10000);
echo '1 & -10000 = '; var_dump (1 & -10000);
echo '1 | -10000 = '; var_dump (1 | -10000);
echo '1 . -10000 = '; var_dump (1 . -10000);
echo '1 == -10000 = '; var_dump (1 == -10000);
echo '1 === -10000 = '; var_dump (1 === -10000);
echo '1 != -10000 = '; var_dump (1 != -10000);
echo '1 <> -10000 = '; var_dump (1 <> -10000);
echo '1 !== -10000 = '; var_dump (1 !== -10000);
echo '1 <= -10000 = '; var_dump (1 <= -10000);
echo '1 >= -10000 = '; var_dump (1 >= -10000);
echo '1 && -10000 = '; var_dump (1 && -10000);
echo '1 || -10000 = '; var_dump (1 || -10000);
#echo '1 << -10000 = '; var_dump (1 << -10000);
#echo '1 >> -10000 = '; var_dump (1 >> -10000);
echo '1 + true = '; var_dump (1 + true);
echo '1 - true = '; var_dump (1 - true);
#echo '1 / true = '; var_dump (1 / true);
echo '1 * true = '; var_dump (1 * true);
echo '1 % true = '; var_dump (1 % true);
echo '1 ^ true = '; var_dump (1 ^ true);
echo '1 & true = '; var_dump (1 & true);
echo '1 | true = '; var_dump (1 | true);
echo '1 . true = '; var_dump (1 . true);
echo '1 == true = '; var_dump (1 == true);
echo '1 === true = '; var_dump (1 === true);
echo '1 != true = '; var_dump (1 != true);
echo '1 <> true = '; var_dump (1 <> true);
echo '1 !== true = '; var_dump (1 !== true);
echo '1 <= true = '; var_dump (1 <= true);
echo '1 >= true = '; var_dump (1 >= true);
echo '1 && true = '; var_dump (1 && true);
echo '1 || true = '; var_dump (1 || true);
#echo '1 << true = '; var_dump (1 << true);
echo '1 >> true = '; var_dump (1 >> true);
echo '1 + false = '; var_dump (1 + false);
echo '1 - false = '; var_dump (1 - false);
echo '1 * false = '; var_dump (1 * false);
echo '1 ^ false = '; var_dump (1 ^ false);
echo '1 & false = '; var_dump (1 & false);
echo '1 | false = '; var_dump (1 | false);
echo '1 . false = '; var_dump (1 . false);
echo '1 == false = '; var_dump (1 == false);
echo '1 === false = '; var_dump (1 === false);
echo '1 != false = '; var_dump (1 != false);
echo '1 <> false = '; var_dump (1 <> false);
echo '1 !== false = '; var_dump (1 !== false);
echo '1 <= false = '; var_dump (1 <= false);
echo '1 >= false = '; var_dump (1 >= false);
echo '1 && false = '; var_dump (1 && false);
echo '1 || false = '; var_dump (1 || false);
#echo '1 << false = '; var_dump (1 << false);
echo '1 >> false = '; var_dump (1 >> false);
echo '1 + "String" = '; var_dump (1 + "String");
echo '1 - "String" = '; var_dump (1 - "String");
echo '1 * "String" = '; var_dump (1 * "String");
echo '1 ^ "String" = '; var_dump (1 ^ "String");
echo '1 & "String" = '; var_dump (1 & "String");
echo '1 | "String" = '; var_dump (1 | "String");
echo '1 . "String" = '; var_dump (1 . "String");
echo '1 == "String" = '; var_dump (1 == "String");
echo '1 === "String" = '; var_dump (1 === "String");
echo '1 != "String" = '; var_dump (1 != "String");
echo '1 <> "String" = '; var_dump (1 <> "String");
echo '1 !== "String" = '; var_dump (1 !== "String");
echo '1 <= "String" = '; var_dump (1 <= "String");
echo '1 >= "String" = '; var_dump (1 >= "String");
echo '1 && "String" = '; var_dump (1 && "String");
echo '1 || "String" = '; var_dump (1 || "String");
#echo '1 << "String" = '; var_dump (1 << "String");
echo '1 >> "String" = '; var_dump (1 >> "String");
echo '1 + "num3" = '; var_dump (1 + "num3");
echo '1 - "num3" = '; var_dump (1 - "num3");
echo '1 * "num3" = '; var_dump (1 * "num3");
echo '1 ^ "num3" = '; var_dump (1 ^ "num3");
echo '1 & "num3" = '; var_dump (1 & "num3");
echo '1 | "num3" = '; var_dump (1 | "num3");
echo '1 . "num3" = '; var_dump (1 . "num3");
echo '1 == "num3" = '; var_dump (1 == "num3");
echo '1 === "num3" = '; var_dump (1 === "num3");
echo '1 != "num3" = '; var_dump (1 != "num3");
echo '1 <> "num3" = '; var_dump (1 <> "num3");
echo '1 !== "num3" = '; var_dump (1 !== "num3");
echo '1 <= "num3" = '; var_dump (1 <= "num3");
echo '1 >= "num3" = '; var_dump (1 >= "num3");
echo '1 && "num3" = '; var_dump (1 && "num3");
echo '1 || "num3" = '; var_dump (1 || "num3");
#echo '1 << "num3" = '; var_dump (1 << "num3");
echo '1 >> "num3" = '; var_dump (1 >> "num3");
echo '1 + "3" = '; var_dump (1 + "3");
echo '1 - "3" = '; var_dump (1 - "3");
#echo '1 / "3" = '; var_dump (1 / "3");
echo '1 * "3" = '; var_dump (1 * "3");
echo '1 % "3" = '; var_dump (1 % "3");
echo '1 ^ "3" = '; var_dump (1 ^ "3");
echo '1 & "3" = '; var_dump (1 & "3");
echo '1 | "3" = '; var_dump (1 | "3");
echo '1 . "3" = '; var_dump (1 . "3");
echo '1 == "3" = '; var_dump (1 == "3");
echo '1 === "3" = '; var_dump (1 === "3");
echo '1 != "3" = '; var_dump (1 != "3");
echo '1 <> "3" = '; var_dump (1 <> "3");
echo '1 !== "3" = '; var_dump (1 !== "3");
echo '1 <= "3" = '; var_dump (1 <= "3");
echo '1 >= "3" = '; var_dump (1 >= "3");
echo '1 && "3" = '; var_dump (1 && "3");
echo '1 || "3" = '; var_dump (1 || "3");
#echo '1 << "3" = '; var_dump (1 << "3");
echo '1 >> "3" = '; var_dump (1 >> "3");
echo '1 + 6.702 = '; var_dump (1 + 6.702);
echo '1 - 6.702 = '; var_dump (1 - 6.702);
#echo '1 / 6.702 = '; var_dump (1 / 6.702);
echo '1 * 6.702 = '; var_dump (1 * 6.702);
echo '1 % 6.702 = '; @var_dump (1 % 6.702);
echo '1 ^ 6.702 = '; var_dump (1 ^ 6.702);
echo '1 & 6.702 = '; var_dump (1 & 6.702);
echo '1 | 6.702 = '; var_dump (1 | 6.702);
echo '1 . 6.702 = '; var_dump (1 . 6.702);
echo '1 == 6.702 = '; var_dump (1 == 6.702);
echo '1 === 6.702 = '; var_dump (1 === 6.702);
echo '1 != 6.702 = '; var_dump (1 != 6.702);
echo '1 <> 6.702 = '; var_dump (1 <> 6.702);
echo '1 !== 6.702 = '; var_dump (1 !== 6.702);
echo '1 <= 6.702 = '; var_dump (1 <= 6.702);
echo '1 >= 6.702 = '; var_dump (1 >= 6.702);
echo '1 && 6.702 = '; var_dump (1 && 6.702);
echo '1 || 6.702 = '; var_dump (1 || 6.702);
#echo '1 << 6.702 = '; var_dump (1 << 6.702);
#echo '1 >> 6.702 = '; var_dump (1 >> 6.702);
echo '1 + 40.4e3 = '; var_dump (1 + 40.4e3);
echo '1 - 40.4e3 = '; var_dump (1 - 40.4e3);
#echo '1 / 40.4e3 = '; var_dump (1 / 40.4e3);
echo '1 * 40.4e3 = '; var_dump (1 * 40.4e3);
echo '1 % 40.4e3 = '; var_dump (1 % 40.4e3);
echo '1 ^ 40.4e3 = '; var_dump (1 ^ 40.4e3);
echo '1 & 40.4e3 = '; var_dump (1 & 40.4e3);
echo '1 | 40.4e3 = '; var_dump (1 | 40.4e3);
echo '1 . 40.4e3 = '; var_dump (1 . 40.4e3);
echo '1 == 40.4e3 = '; var_dump (1 == 40.4e3);
echo '1 === 40.4e3 = '; var_dump (1 === 40.4e3);
echo '1 != 40.4e3 = '; var_dump (1 != 40.4e3);
echo '1 <> 40.4e3 = '; var_dump (1 <> 40.4e3);
echo '1 !== 40.4e3 = '; var_dump (1 !== 40.4e3);
echo '1 <= 40.4e3 = '; var_dump (1 <= 40.4e3);
echo '1 >= 40.4e3 = '; var_dump (1 >= 40.4e3);
echo '1 && 40.4e3 = '; var_dump (1 && 40.4e3);
echo '1 || 40.4e3 = '; var_dump (1 || 40.4e3);
#echo '1 << 40.4e3 = '; var_dump (1 << 40.4e3);
#echo '1 >> 40.4e3 = '; var_dump (1 >> 40.4e3);
echo '1 + 0x786F = '; var_dump (1 + 0x786F);
echo '1 - 0x786F = '; var_dump (1 - 0x786F);
#echo '1 / 0x786F = '; var_dump (1 / 0x786F);
echo '1 * 0x786F = '; var_dump (1 * 0x786F);
echo '1 % 0x786F = '; var_dump (1 % 0x786F);
echo '1 ^ 0x786F = '; var_dump (1 ^ 0x786F);
echo '1 & 0x786F = '; var_dump (1 & 0x786F);
echo '1 | 0x786F = '; var_dump (1 | 0x786F);
echo '1 . 0x786F = '; var_dump (1 . 0x786F);
echo '1 == 0x786F = '; var_dump (1 == 0x786F);
echo '1 === 0x786F = '; var_dump (1 === 0x786F);
echo '1 != 0x786F = '; var_dump (1 != 0x786F);
echo '1 <> 0x786F = '; var_dump (1 <> 0x786F);
echo '1 !== 0x786F = '; var_dump (1 !== 0x786F);
echo '1 <= 0x786F = '; var_dump (1 <= 0x786F);
echo '1 >= 0x786F = '; var_dump (1 >= 0x786F);
echo '1 && 0x786F = '; var_dump (1 && 0x786F);
echo '1 || 0x786F = '; var_dump (1 || 0x786F);
#echo '1 << 0x786F = '; var_dump (1 << 0x786F);
echo '1 >> 0xF = '; var_dump (1 >> 0xF);
echo '~ 1 = '; var_dump (~ 1);
echo '! 1 = '; var_dump (! 1);
}

one_folding();

function five_folding() {
echo '5 + 0 = '; var_dump (5 + 0);
echo '5 - 0 = '; var_dump (5 - 0);
echo '5 * 0 = '; var_dump (5 * 0);
echo '5 ^ 0 = '; var_dump (5 ^ 0);
echo '5 & 0 = '; var_dump (5 & 0);
echo '5 | 0 = '; var_dump (5 | 0);
echo '5 . 0 = '; var_dump (5 . 0);
echo '5 == 0 = '; var_dump (5 == 0);
echo '5 === 0 = '; var_dump (5 === 0);
echo '5 != 0 = '; var_dump (5 != 0);
echo '5 <> 0 = '; var_dump (5 <> 0);
echo '5 !== 0 = '; var_dump (5 !== 0);
echo '5 <= 0 = '; var_dump (5 <= 0);
echo '5 >= 0 = '; var_dump (5 >= 0);
echo '5 && 0 = '; var_dump (5 && 0);
echo '5 || 0 = '; var_dump (5 || 0);
#echo '5 << 0 = '; var_dump (5 << 0);
echo '5 >> 0 = '; var_dump (5 >> 0);
echo '5 + 1 = '; var_dump (5 + 1);
echo '5 - 1 = '; var_dump (5 - 1);
#echo '5 / 1 = '; var_dump (5 / 1);
echo '5 * 1 = '; var_dump (5 * 1);
echo '5 % 1 = '; var_dump (5 % 1);
echo '5 ^ 1 = '; var_dump (5 ^ 1);
echo '5 & 1 = '; var_dump (5 & 1);
echo '5 | 1 = '; var_dump (5 | 1);
echo '5 . 1 = '; var_dump (5 . 1);
echo '5 == 1 = '; var_dump (5 == 1);
echo '5 === 1 = '; var_dump (5 === 1);
echo '5 != 1 = '; var_dump (5 != 1);
echo '5 <> 1 = '; var_dump (5 <> 1);
echo '5 !== 1 = '; var_dump (5 !== 1);
echo '5 <= 1 = '; var_dump (5 <= 1);
echo '5 >= 1 = '; var_dump (5 >= 1);
echo '5 && 1 = '; var_dump (5 && 1);
echo '5 || 1 = '; var_dump (5 || 1);
#echo '5 << 1 = '; var_dump (5 << 1);
echo '5 >> 1 = '; var_dump (5 >> 1);
echo '5 + 5 = '; var_dump (5 + 5);
echo '5 - 5 = '; var_dump (5 - 5);
#echo '5 / 5 = '; var_dump (5 / 5);
echo '5 * 5 = '; var_dump (5 * 5);
echo '5 % 5 = '; var_dump (5 % 5);
echo '5 ^ 5 = '; var_dump (5 ^ 5);
echo '5 & 5 = '; var_dump (5 & 5);
echo '5 | 5 = '; var_dump (5 | 5);
echo '5 . 5 = '; var_dump (5 . 5);
echo '5 == 5 = '; var_dump (5 == 5);
echo '5 === 5 = '; var_dump (5 === 5);
echo '5 != 5 = '; var_dump (5 != 5);
echo '5 <> 5 = '; var_dump (5 <> 5);
echo '5 !== 5 = '; var_dump (5 !== 5);
echo '5 <= 5 = '; var_dump (5 <= 5);
echo '5 >= 5 = '; var_dump (5 >= 5);
echo '5 && 5 = '; var_dump (5 && 5);
echo '5 || 5 = '; var_dump (5 || 5);
#echo '5 << 5 = '; var_dump (5 << 5);
echo '5 >> 5 = '; var_dump (5 >> 5);
echo '5 + -1 = '; var_dump (5 + -1);
echo '5 - -1 = '; var_dump (5 - -1);
#echo '5 / -1 = '; var_dump (5 / -1);
echo '5 * -1 = '; var_dump (5 * -1);
echo '5 % -1 = '; var_dump (5 % -1);
echo '5 ^ -1 = '; var_dump (5 ^ -1);
echo '5 & -1 = '; var_dump (5 & -1);
echo '5 | -1 = '; var_dump (5 | -1);
echo '5 . -1 = '; var_dump (5 . -1);
echo '5 == -1 = '; var_dump (5 == -1);
echo '5 === -1 = '; var_dump (5 === -1);
echo '5 != -1 = '; var_dump (5 != -1);
echo '5 <> -1 = '; var_dump (5 <> -1);
echo '5 !== -1 = '; var_dump (5 !== -1);
echo '5 <= -1 = '; var_dump (5 <= -1);
echo '5 >= -1 = '; var_dump (5 >= -1);
echo '5 && -1 = '; var_dump (5 && -1);
echo '5 || -1 = '; var_dump (5 || -1);
#echo '5 << -1 = '; var_dump (5 << -1);
#echo '5 >> -1 = '; var_dump (5 >> -1);
echo '5 + -10000 = '; var_dump (5 + -10000);
echo '5 - -10000 = '; var_dump (5 - -10000);
#echo '5 / -10000 = '; var_dump (5 / -10000);
echo '5 * -10000 = '; var_dump (5 * -10000);
echo '5 % -10000 = '; var_dump (5 % -10000);
echo '5 ^ -10000 = '; var_dump (5 ^ -10000);
echo '5 & -10000 = '; var_dump (5 & -10000);
echo '5 | -10000 = '; var_dump (5 | -10000);
echo '5 . -10000 = '; var_dump (5 . -10000);
echo '5 == -10000 = '; var_dump (5 == -10000);
echo '5 === -10000 = '; var_dump (5 === -10000);
echo '5 != -10000 = '; var_dump (5 != -10000);
echo '5 <> -10000 = '; var_dump (5 <> -10000);
echo '5 !== -10000 = '; var_dump (5 !== -10000);
echo '5 <= -10000 = '; var_dump (5 <= -10000);
echo '5 >= -10000 = '; var_dump (5 >= -10000);
echo '5 && -10000 = '; var_dump (5 && -10000);
echo '5 || -10000 = '; var_dump (5 || -10000);
#echo '5 << -10000 = '; var_dump (5 << -10000);
#echo '5 >> -10000 = '; var_dump (5 >> -10000);
echo '5 + true = '; var_dump (5 + true);
echo '5 - true = '; var_dump (5 - true);
#echo '5 / true = '; var_dump (5 / true);
echo '5 * true = '; var_dump (5 * true);
echo '5 % true = '; var_dump (5 % true);
echo '5 ^ true = '; var_dump (5 ^ true);
echo '5 & true = '; var_dump (5 & true);
echo '5 | true = '; var_dump (5 | true);
echo '5 . true = '; var_dump (5 . true);
echo '5 == true = '; var_dump (5 == true);
echo '5 === true = '; var_dump (5 === true);
echo '5 != true = '; var_dump (5 != true);
echo '5 <> true = '; var_dump (5 <> true);
echo '5 !== true = '; var_dump (5 !== true);
echo '5 <= true = '; var_dump (5 <= true);
echo '5 >= true = '; var_dump (5 >= true);
echo '5 && true = '; var_dump (5 && true);
echo '5 || true = '; var_dump (5 || true);
#echo '5 << true = '; var_dump (5 << true);
echo '5 >> true = '; var_dump (5 >> true);
echo '5 + false = '; var_dump (5 + false);
echo '5 - false = '; var_dump (5 - false);
echo '5 * false = '; var_dump (5 * false);
echo '5 ^ false = '; var_dump (5 ^ false);
echo '5 & false = '; var_dump (5 & false);
echo '5 | false = '; var_dump (5 | false);
echo '5 . false = '; var_dump (5 . false);
echo '5 == false = '; var_dump (5 == false);
echo '5 === false = '; var_dump (5 === false);
echo '5 != false = '; var_dump (5 != false);
echo '5 <> false = '; var_dump (5 <> false);
echo '5 !== false = '; var_dump (5 !== false);
echo '5 <= false = '; var_dump (5 <= false);
echo '5 >= false = '; var_dump (5 >= false);
echo '5 && false = '; var_dump (5 && false);
echo '5 || false = '; var_dump (5 || false);
#echo '5 << false = '; var_dump (5 << false);
echo '5 >> false = '; var_dump (5 >> false);
echo '5 + "String" = '; var_dump (5 + "String");
echo '5 - "String" = '; var_dump (5 - "String");
echo '5 * "String" = '; var_dump (5 * "String");
echo '5 ^ "String" = '; var_dump (5 ^ "String");
echo '5 & "String" = '; var_dump (5 & "String");
echo '5 | "String" = '; var_dump (5 | "String");
echo '5 . "String" = '; var_dump (5 . "String");
echo '5 == "String" = '; var_dump (5 == "String");
echo '5 === "String" = '; var_dump (5 === "String");
echo '5 != "String" = '; var_dump (5 != "String");
echo '5 <> "String" = '; var_dump (5 <> "String");
echo '5 !== "String" = '; var_dump (5 !== "String");
echo '5 <= "String" = '; var_dump (5 <= "String");
echo '5 >= "String" = '; var_dump (5 >= "String");
echo '5 && "String" = '; var_dump (5 && "String");
echo '5 || "String" = '; var_dump (5 || "String");
#echo '5 << "String" = '; var_dump (5 << "String");
echo '5 >> "String" = '; var_dump (5 >> "String");
echo '5 + "num3" = '; var_dump (5 + "num3");
echo '5 - "num3" = '; var_dump (5 - "num3");
echo '5 * "num3" = '; var_dump (5 * "num3");
echo '5 ^ "num3" = '; var_dump (5 ^ "num3");
echo '5 & "num3" = '; var_dump (5 & "num3");
echo '5 | "num3" = '; var_dump (5 | "num3");
echo '5 . "num3" = '; var_dump (5 . "num3");
echo '5 == "num3" = '; var_dump (5 == "num3");
echo '5 === "num3" = '; var_dump (5 === "num3");
echo '5 != "num3" = '; var_dump (5 != "num3");
echo '5 <> "num3" = '; var_dump (5 <> "num3");
echo '5 !== "num3" = '; var_dump (5 !== "num3");
echo '5 <= "num3" = '; var_dump (5 <= "num3");
echo '5 >= "num3" = '; var_dump (5 >= "num3");
echo '5 && "num3" = '; var_dump (5 && "num3");
echo '5 || "num3" = '; var_dump (5 || "num3");
#echo '5 << "num3" = '; var_dump (5 << "num3");
echo '5 >> "num3" = '; var_dump (5 >> "num3");
echo '5 + "3" = '; var_dump (5 + "3");
echo '5 - "3" = '; var_dump (5 - "3");
#echo '5 / "3" = '; var_dump (5 / "3");
echo '5 * "3" = '; var_dump (5 * "3");
echo '5 % "3" = '; var_dump (5 % "3");
echo '5 ^ "3" = '; var_dump (5 ^ "3");
echo '5 & "3" = '; var_dump (5 & "3");
echo '5 | "3" = '; var_dump (5 | "3");
echo '5 . "3" = '; var_dump (5 . "3");
echo '5 == "3" = '; var_dump (5 == "3");
echo '5 === "3" = '; var_dump (5 === "3");
echo '5 != "3" = '; var_dump (5 != "3");
echo '5 <> "3" = '; var_dump (5 <> "3");
echo '5 !== "3" = '; var_dump (5 !== "3");
echo '5 <= "3" = '; var_dump (5 <= "3");
echo '5 >= "3" = '; var_dump (5 >= "3");
echo '5 && "3" = '; var_dump (5 && "3");
echo '5 || "3" = '; var_dump (5 || "3");
#echo '5 << "3" = '; var_dump (5 << "3");
echo '5 >> "3" = '; var_dump (5 >> "3");
echo '5 + 6.702 = '; var_dump (5 + 6.702);
echo '5 - 6.702 = '; var_dump (5 - 6.702);
#echo '5 / 6.702 = '; var_dump (5 / 6.702);
echo '5 * 6.702 = '; var_dump (5 * 6.702);
echo '5 % 6.702 = '; @var_dump (5 % 6.702);
echo '5 ^ 6.702 = '; var_dump (5 ^ 6.702);
echo '5 & 6.702 = '; var_dump (5 & 6.702);
echo '5 | 6.702 = '; var_dump (5 | 6.702);
echo '5 . 6.702 = '; var_dump (5 . 6.702);
echo '5 == 6.702 = '; var_dump (5 == 6.702);
echo '5 === 6.702 = '; var_dump (5 === 6.702);
echo '5 != 6.702 = '; var_dump (5 != 6.702);
echo '5 <> 6.702 = '; var_dump (5 <> 6.702);
echo '5 !== 6.702 = '; var_dump (5 !== 6.702);
echo '5 <= 6.702 = '; var_dump (5 <= 6.702);
echo '5 >= 6.702 = '; var_dump (5 >= 6.702);
echo '5 && 6.702 = '; var_dump (5 && 6.702);
echo '5 || 6.702 = '; var_dump (5 || 6.702);
#echo '5 << 6.702 = '; var_dump (5 << 6.702);
#echo '5 >> 6.702 = '; var_dump (5 >> 6.702);
echo '5 + 40.4e3 = '; var_dump (5 + 40.4e3);
echo '5 - 40.4e3 = '; var_dump (5 - 40.4e3);
#echo '5 / 40.4e3 = '; var_dump (5 / 40.4e3);
echo '5 * 40.4e3 = '; var_dump (5 * 40.4e3);
echo '5 % 40.4e3 = '; var_dump (5 % 40.4e3);
echo '5 ^ 40.4e3 = '; var_dump (5 ^ 40.4e3);
echo '5 & 40.4e3 = '; var_dump (5 & 40.4e3);
echo '5 | 40.4e3 = '; var_dump (5 | 40.4e3);
echo '5 . 40.4e3 = '; var_dump (5 . 40.4e3);
echo '5 == 40.4e3 = '; var_dump (5 == 40.4e3);
echo '5 === 40.4e3 = '; var_dump (5 === 40.4e3);
echo '5 != 40.4e3 = '; var_dump (5 != 40.4e3);
echo '5 <> 40.4e3 = '; var_dump (5 <> 40.4e3);
echo '5 !== 40.4e3 = '; var_dump (5 !== 40.4e3);
echo '5 <= 40.4e3 = '; var_dump (5 <= 40.4e3);
echo '5 >= 40.4e3 = '; var_dump (5 >= 40.4e3);
echo '5 && 40.4e3 = '; var_dump (5 && 40.4e3);
echo '5 || 40.4e3 = '; var_dump (5 || 40.4e3);
#echo '5 << 40.4e3 = '; var_dump (5 << 40.4e3);
#echo '5 >> 40.4e3 = '; var_dump (5 >> 40.4e3);
echo '5 + 0x786F = '; var_dump (5 + 0x786F);
echo '5 - 0x786F = '; var_dump (5 - 0x786F);
#echo '5 / 0x786F = '; var_dump (5 / 0x786F);
echo '5 * 0x786F = '; var_dump (5 * 0x786F);
echo '5 % 0x786F = '; var_dump (5 % 0x786F);
echo '5 ^ 0x786F = '; var_dump (5 ^ 0x786F);
echo '5 & 0x786F = '; var_dump (5 & 0x786F);
echo '5 | 0x786F = '; var_dump (5 | 0x786F);
echo '5 . 0x786F = '; var_dump (5 . 0x786F);
echo '5 == 0x786F = '; var_dump (5 == 0x786F);
echo '5 === 0x786F = '; var_dump (5 === 0x786F);
echo '5 != 0x786F = '; var_dump (5 != 0x786F);
echo '5 <> 0x786F = '; var_dump (5 <> 0x786F);
echo '5 !== 0x786F = '; var_dump (5 !== 0x786F);
echo '5 <= 0x786F = '; var_dump (5 <= 0x786F);
echo '5 >= 0x786F = '; var_dump (5 >= 0x786F);
echo '5 && 0x786F = '; var_dump (5 && 0x786F);
echo '5 || 0x786F = '; var_dump (5 || 0x786F);
#echo '5 << 0x786F = '; var_dump (5 << 0x786F);
echo '5 >> 0xF = '; var_dump (5 >> 0xF);
echo '~ 5 = '; var_dump (~ 5);
echo '! 5 = '; var_dump (! 5);
}

five_folding();

function minus_one_folding() {
echo '-1 + 0 = '; var_dump (-1 + 0);
echo '-1 - 0 = '; var_dump (-1 - 0);
echo '-1 * 0 = '; var_dump (-1 * 0);
echo '-1 ^ 0 = '; var_dump (-1 ^ 0);
echo '-1 & 0 = '; var_dump (-1 & 0);
echo '-1 | 0 = '; var_dump (-1 | 0);
echo '-1 . 0 = '; var_dump (-1 . 0);
echo '-1 == 0 = '; var_dump (-1 == 0);
echo '-1 === 0 = '; var_dump (-1 === 0);
echo '-1 != 0 = '; var_dump (-1 != 0);
echo '-1 <> 0 = '; var_dump (-1 <> 0);
echo '-1 !== 0 = '; var_dump (-1 !== 0);
echo '-1 <= 0 = '; var_dump (-1 <= 0);
echo '-1 >= 0 = '; var_dump (-1 >= 0);
echo '-1 && 0 = '; var_dump (-1 && 0);
echo '-1 || 0 = '; var_dump (-1 || 0);
#echo '-1 << 0 = '; var_dump (-1 << 0);
echo '-1 >> 0 = '; var_dump (-1 >> 0);
echo '-1 + 1 = '; var_dump (-1 + 1);
echo '-1 - 1 = '; var_dump (-1 - 1);
#echo '-1 / 1 = '; var_dump (-1 / 1);
echo '-1 * 1 = '; var_dump (-1 * 1);
echo '-1 % 1 = '; var_dump (-1 % 1);
echo '-1 ^ 1 = '; var_dump (-1 ^ 1);
echo '-1 & 1 = '; var_dump (-1 & 1);
echo '-1 | 1 = '; var_dump (-1 | 1);
echo '-1 . 1 = '; var_dump (-1 . 1);
echo '-1 == 1 = '; var_dump (-1 == 1);
echo '-1 === 1 = '; var_dump (-1 === 1);
echo '-1 != 1 = '; var_dump (-1 != 1);
echo '-1 <> 1 = '; var_dump (-1 <> 1);
echo '-1 !== 1 = '; var_dump (-1 !== 1);
echo '-1 <= 1 = '; var_dump (-1 <= 1);
echo '-1 >= 1 = '; var_dump (-1 >= 1);
echo '-1 && 1 = '; var_dump (-1 && 1);
echo '-1 || 1 = '; var_dump (-1 || 1);
#echo '-1 << 1 = '; var_dump (-1 << 1);
echo '-1 >> 1 = '; var_dump (-1 >> 1);
echo '-1 + 5 = '; var_dump (-1 + 5);
echo '-1 - 5 = '; var_dump (-1 - 5);
#echo '-1 / 5 = '; var_dump (-1 / 5);
echo '-1 * 5 = '; var_dump (-1 * 5);
echo '-1 % 5 = '; var_dump (-1 % 5);
echo '-1 ^ 5 = '; var_dump (-1 ^ 5);
echo '-1 & 5 = '; var_dump (-1 & 5);
echo '-1 | 5 = '; var_dump (-1 | 5);
echo '-1 . 5 = '; var_dump (-1 . 5);
echo '-1 == 5 = '; var_dump (-1 == 5);
echo '-1 === 5 = '; var_dump (-1 === 5);
echo '-1 != 5 = '; var_dump (-1 != 5);
echo '-1 <> 5 = '; var_dump (-1 <> 5);
echo '-1 !== 5 = '; var_dump (-1 !== 5);
echo '-1 <= 5 = '; var_dump (-1 <= 5);
echo '-1 >= 5 = '; var_dump (-1 >= 5);
echo '-1 && 5 = '; var_dump (-1 && 5);
echo '-1 || 5 = '; var_dump (-1 || 5);
#echo '-1 << 5 = '; var_dump (-1 << 5);
echo '-1 >> 5 = '; var_dump (-1 >> 5);
echo '-1 + -1 = '; var_dump (-1 + -1);
echo '-1 - -1 = '; var_dump (-1 - -1);
#echo '-1 / -1 = '; var_dump (-1 / -1);
echo '-1 * -1 = '; var_dump (-1 * -1);
echo '-1 % -1 = '; var_dump (-1 % -1);
echo '-1 ^ -1 = '; var_dump (-1 ^ -1);
echo '-1 & -1 = '; var_dump (-1 & -1);
echo '-1 | -1 = '; var_dump (-1 | -1);
echo '-1 . -1 = '; var_dump (-1 . -1);
echo '-1 == -1 = '; var_dump (-1 == -1);
echo '-1 === -1 = '; var_dump (-1 === -1);
echo '-1 != -1 = '; var_dump (-1 != -1);
echo '-1 <> -1 = '; var_dump (-1 <> -1);
echo '-1 !== -1 = '; var_dump (-1 !== -1);
echo '-1 <= -1 = '; var_dump (-1 <= -1);
echo '-1 >= -1 = '; var_dump (-1 >= -1);
echo '-1 && -1 = '; var_dump (-1 && -1);
echo '-1 || -1 = '; var_dump (-1 || -1);
#echo '-1 << -1 = '; var_dump (-1 << -1);
#echo '-1 >> -1 = '; var_dump (-1 >> -1);
echo '-1 + -10000 = '; var_dump (-1 + -10000);
echo '-1 - -10000 = '; var_dump (-1 - -10000);
#echo '-1 / -10000 = '; var_dump (-1 / -10000);
echo '-1 * -10000 = '; var_dump (-1 * -10000);
echo '-1 % -10000 = '; var_dump (-1 % -10000);
echo '-1 ^ -10000 = '; var_dump (-1 ^ -10000);
echo '-1 & -10000 = '; var_dump (-1 & -10000);
echo '-1 | -10000 = '; var_dump (-1 | -10000);
echo '-1 . -10000 = '; var_dump (-1 . -10000);
echo '-1 == -10000 = '; var_dump (-1 == -10000);
echo '-1 === -10000 = '; var_dump (-1 === -10000);
echo '-1 != -10000 = '; var_dump (-1 != -10000);
echo '-1 <> -10000 = '; var_dump (-1 <> -10000);
echo '-1 !== -10000 = '; var_dump (-1 !== -10000);
echo '-1 <= -10000 = '; var_dump (-1 <= -10000);
echo '-1 >= -10000 = '; var_dump (-1 >= -10000);
echo '-1 && -10000 = '; var_dump (-1 && -10000);
echo '-1 || -10000 = '; var_dump (-1 || -10000);
#echo '-1 << -10000 = '; var_dump (-1 << -10000);
#echo '-1 >> -10000 = '; var_dump (-1 >> -10000);
echo '-1 + true = '; var_dump (-1 + true);
echo '-1 - true = '; var_dump (-1 - true);
#echo '-1 / true = '; var_dump (-1 / true);
echo '-1 * true = '; var_dump (-1 * true);
echo '-1 % true = '; var_dump (-1 % true);
echo '-1 ^ true = '; var_dump (-1 ^ true);
echo '-1 & true = '; var_dump (-1 & true);
echo '-1 | true = '; var_dump (-1 | true);
echo '-1 . true = '; var_dump (-1 . true);
echo '-1 == true = '; var_dump (-1 == true);
echo '-1 === true = '; var_dump (-1 === true);
echo '-1 != true = '; var_dump (-1 != true);
echo '-1 <> true = '; var_dump (-1 <> true);
echo '-1 !== true = '; var_dump (-1 !== true);
echo '-1 <= true = '; var_dump (-1 <= true);
echo '-1 >= true = '; var_dump (-1 >= true);
echo '-1 && true = '; var_dump (-1 && true);
echo '-1 || true = '; var_dump (-1 || true);
#echo '-1 << true = '; var_dump (-1 << true);
echo '-1 >> true = '; var_dump (-1 >> true);
echo '-1 + false = '; var_dump (-1 + false);
echo '-1 - false = '; var_dump (-1 - false);
echo '-1 * false = '; var_dump (-1 * false);
echo '-1 ^ false = '; var_dump (-1 ^ false);
echo '-1 & false = '; var_dump (-1 & false);
echo '-1 | false = '; var_dump (-1 | false);
echo '-1 . false = '; var_dump (-1 . false);
echo '-1 == false = '; var_dump (-1 == false);
echo '-1 === false = '; var_dump (-1 === false);
echo '-1 != false = '; var_dump (-1 != false);
echo '-1 <> false = '; var_dump (-1 <> false);
echo '-1 !== false = '; var_dump (-1 !== false);
echo '-1 <= false = '; var_dump (-1 <= false);
echo '-1 >= false = '; var_dump (-1 >= false);
echo '-1 && false = '; var_dump (-1 && false);
echo '-1 || false = '; var_dump (-1 || false);
#echo '-1 << false = '; var_dump (-1 << false);
echo '-1 >> false = '; var_dump (-1 >> false);
echo '-1 + "String" = '; var_dump (-1 + "String");
echo '-1 - "String" = '; var_dump (-1 - "String");
echo '-1 * "String" = '; var_dump (-1 * "String");
echo '-1 ^ "String" = '; var_dump (-1 ^ "String");
echo '-1 & "String" = '; var_dump (-1 & "String");
echo '-1 | "String" = '; var_dump (-1 | "String");
echo '-1 . "String" = '; var_dump (-1 . "String");
echo '-1 == "String" = '; var_dump (-1 == "String");
echo '-1 === "String" = '; var_dump (-1 === "String");
echo '-1 != "String" = '; var_dump (-1 != "String");
echo '-1 <> "String" = '; var_dump (-1 <> "String");
echo '-1 !== "String" = '; var_dump (-1 !== "String");
echo '-1 <= "String" = '; var_dump (-1 <= "String");
echo '-1 >= "String" = '; var_dump (-1 >= "String");
echo '-1 && "String" = '; var_dump (-1 && "String");
echo '-1 || "String" = '; var_dump (-1 || "String");
#echo '-1 << "String" = '; var_dump (-1 << "String");
echo '-1 >> "String" = '; var_dump (-1 >> "String");
echo '-1 + "num3" = '; var_dump (-1 + "num3");
echo '-1 - "num3" = '; var_dump (-1 - "num3");
echo '-1 * "num3" = '; var_dump (-1 * "num3");
echo '-1 ^ "num3" = '; var_dump (-1 ^ "num3");
echo '-1 & "num3" = '; var_dump (-1 & "num3");
echo '-1 | "num3" = '; var_dump (-1 | "num3");
echo '-1 . "num3" = '; var_dump (-1 . "num3");
echo '-1 == "num3" = '; var_dump (-1 == "num3");
echo '-1 === "num3" = '; var_dump (-1 === "num3");
echo '-1 != "num3" = '; var_dump (-1 != "num3");
echo '-1 <> "num3" = '; var_dump (-1 <> "num3");
echo '-1 !== "num3" = '; var_dump (-1 !== "num3");
echo '-1 <= "num3" = '; var_dump (-1 <= "num3");
echo '-1 >= "num3" = '; var_dump (-1 >= "num3");
echo '-1 && "num3" = '; var_dump (-1 && "num3");
echo '-1 || "num3" = '; var_dump (-1 || "num3");
#echo '-1 << "num3" = '; var_dump (-1 << "num3");
echo '-1 >> "num3" = '; var_dump (-1 >> "num3");
echo '-1 + "3" = '; var_dump (-1 + "3");
echo '-1 - "3" = '; var_dump (-1 - "3");
#echo '-1 / "3" = '; var_dump (-1 / "3");
echo '-1 * "3" = '; var_dump (-1 * "3");
echo '-1 % "3" = '; var_dump (-1 % "3");
echo '-1 ^ "3" = '; var_dump (-1 ^ "3");
echo '-1 & "3" = '; var_dump (-1 & "3");
echo '-1 | "3" = '; var_dump (-1 | "3");
echo '-1 . "3" = '; var_dump (-1 . "3");
echo '-1 == "3" = '; var_dump (-1 == "3");
echo '-1 === "3" = '; var_dump (-1 === "3");
echo '-1 != "3" = '; var_dump (-1 != "3");
echo '-1 <> "3" = '; var_dump (-1 <> "3");
echo '-1 !== "3" = '; var_dump (-1 !== "3");
echo '-1 <= "3" = '; var_dump (-1 <= "3");
echo '-1 >= "3" = '; var_dump (-1 >= "3");
echo '-1 && "3" = '; var_dump (-1 && "3");
echo '-1 || "3" = '; var_dump (-1 || "3");
#echo '-1 << "3" = '; var_dump (-1 << "3");
echo '-1 >> "3" = '; var_dump (-1 >> "3");
echo '-1 + 6.702 = '; var_dump (-1 + 6.702);
echo '-1 - 6.702 = '; var_dump (-1 - 6.702);
#echo '-1 / 6.702 = '; var_dump (-1 / 6.702);
echo '-1 * 6.702 = '; var_dump (-1 * 6.702);
echo '-1 % 6.702 = '; @var_dump (-1 % 6.702);
echo '-1 ^ 6.702 = '; var_dump (-1 ^ 6.702);
echo '-1 & 6.702 = '; var_dump (-1 & 6.702);
echo '-1 | 6.702 = '; var_dump (-1 | 6.702);
echo '-1 . 6.702 = '; var_dump (-1 . 6.702);
echo '-1 == 6.702 = '; var_dump (-1 == 6.702);
echo '-1 === 6.702 = '; var_dump (-1 === 6.702);
echo '-1 != 6.702 = '; var_dump (-1 != 6.702);
echo '-1 <> 6.702 = '; var_dump (-1 <> 6.702);
echo '-1 !== 6.702 = '; var_dump (-1 !== 6.702);
echo '-1 <= 6.702 = '; var_dump (-1 <= 6.702);
echo '-1 >= 6.702 = '; var_dump (-1 >= 6.702);
echo '-1 && 6.702 = '; var_dump (-1 && 6.702);
echo '-1 || 6.702 = '; var_dump (-1 || 6.702);
#echo '-1 << 6.702 = '; var_dump (-1 << 6.702);
#echo '-1 >> 6.702 = '; var_dump (-1 >> 6.702);
echo '-1 + 40.4e3 = '; var_dump (-1 + 40.4e3);
echo '-1 - 40.4e3 = '; var_dump (-1 - 40.4e3);
#echo '-1 / 40.4e3 = '; var_dump (-1 / 40.4e3);
echo '-1 * 40.4e3 = '; var_dump (-1 * 40.4e3);
echo '-1 % 40.4e3 = '; var_dump (-1 % 40.4e3);
echo '-1 ^ 40.4e3 = '; var_dump (-1 ^ 40.4e3);
echo '-1 & 40.4e3 = '; var_dump (-1 & 40.4e3);
echo '-1 | 40.4e3 = '; var_dump (-1 | 40.4e3);
echo '-1 . 40.4e3 = '; var_dump (-1 . 40.4e3);
echo '-1 == 40.4e3 = '; var_dump (-1 == 40.4e3);
echo '-1 === 40.4e3 = '; var_dump (-1 === 40.4e3);
echo '-1 != 40.4e3 = '; var_dump (-1 != 40.4e3);
echo '-1 <> 40.4e3 = '; var_dump (-1 <> 40.4e3);
echo '-1 !== 40.4e3 = '; var_dump (-1 !== 40.4e3);
echo '-1 <= 40.4e3 = '; var_dump (-1 <= 40.4e3);
echo '-1 >= 40.4e3 = '; var_dump (-1 >= 40.4e3);
echo '-1 && 40.4e3 = '; var_dump (-1 && 40.4e3);
echo '-1 || 40.4e3 = '; var_dump (-1 || 40.4e3);
#echo '-1 << 40.4e3 = '; var_dump (-1 << 40.4e3);
#echo '-1 >> 40.4e3 = '; var_dump (-1 >> 40.4e3);
echo '-1 + 0x786F = '; var_dump (-1 + 0x786F);
echo '-1 - 0x786F = '; var_dump (-1 - 0x786F);
#echo '-1 / 0x786F = '; var_dump (-1 / 0x786F);
echo '-1 * 0x786F = '; var_dump (-1 * 0x786F);
echo '-1 % 0x786F = '; var_dump (-1 % 0x786F);
echo '-1 ^ 0x786F = '; var_dump (-1 ^ 0x786F);
echo '-1 & 0x786F = '; var_dump (-1 & 0x786F);
echo '-1 | 0x786F = '; var_dump (-1 | 0x786F);
echo '-1 . 0x786F = '; var_dump (-1 . 0x786F);
echo '-1 == 0x786F = '; var_dump (-1 == 0x786F);
echo '-1 === 0x786F = '; var_dump (-1 === 0x786F);
echo '-1 != 0x786F = '; var_dump (-1 != 0x786F);
echo '-1 <> 0x786F = '; var_dump (-1 <> 0x786F);
echo '-1 !== 0x786F = '; var_dump (-1 !== 0x786F);
echo '-1 <= 0x786F = '; var_dump (-1 <= 0x786F);
echo '-1 >= 0x786F = '; var_dump (-1 >= 0x786F);
echo '-1 && 0x786F = '; var_dump (-1 && 0x786F);
echo '-1 || 0x786F = '; var_dump (-1 || 0x786F);
#echo '-1 << 0x786F = '; var_dump (-1 << 0x786F);
echo '-1 >> 0xF = '; var_dump (-1 >> 0xF);
echo '~ -1 = '; var_dump (~ -1);
echo '! -1 = '; var_dump (! -1);
}

minus_one_folding();

function minus_10000_folding() {
echo '-10000 + 0 = '; var_dump (-10000 + 0);
echo '-10000 - 0 = '; var_dump (-10000 - 0);
echo '-10000 * 0 = '; var_dump (-10000 * 0);
echo '-10000 ^ 0 = '; var_dump (-10000 ^ 0);
echo '-10000 & 0 = '; var_dump (-10000 & 0);
echo '-10000 | 0 = '; var_dump (-10000 | 0);
echo '-10000 . 0 = '; var_dump (-10000 . 0);
echo '-10000 == 0 = '; var_dump (-10000 == 0);
echo '-10000 === 0 = '; var_dump (-10000 === 0);
echo '-10000 != 0 = '; var_dump (-10000 != 0);
echo '-10000 <> 0 = '; var_dump (-10000 <> 0);
echo '-10000 !== 0 = '; var_dump (-10000 !== 0);
echo '-10000 <= 0 = '; var_dump (-10000 <= 0);
echo '-10000 >= 0 = '; var_dump (-10000 >= 0);
echo '-10000 && 0 = '; var_dump (-10000 && 0);
echo '-10000 || 0 = '; var_dump (-10000 || 0);
#echo '-10000 << 0 = '; var_dump (-10000 << 0);
echo '-10000 >> 0 = '; var_dump (-10000 >> 0);
echo '-10000 + 1 = '; var_dump (-10000 + 1);
echo '-10000 - 1 = '; var_dump (-10000 - 1);
#echo '-10000 / 1 = '; var_dump (-10000 / 1);
echo '-10000 * 1 = '; var_dump (-10000 * 1);
echo '-10000 % 1 = '; var_dump (-10000 % 1);
echo '-10000 ^ 1 = '; var_dump (-10000 ^ 1);
echo '-10000 & 1 = '; var_dump (-10000 & 1);
echo '-10000 | 1 = '; var_dump (-10000 | 1);
echo '-10000 . 1 = '; var_dump (-10000 . 1);
echo '-10000 == 1 = '; var_dump (-10000 == 1);
echo '-10000 === 1 = '; var_dump (-10000 === 1);
echo '-10000 != 1 = '; var_dump (-10000 != 1);
echo '-10000 <> 1 = '; var_dump (-10000 <> 1);
echo '-10000 !== 1 = '; var_dump (-10000 !== 1);
echo '-10000 <= 1 = '; var_dump (-10000 <= 1);
echo '-10000 >= 1 = '; var_dump (-10000 >= 1);
echo '-10000 && 1 = '; var_dump (-10000 && 1);
echo '-10000 || 1 = '; var_dump (-10000 || 1);
#echo '-10000 << 1 = '; var_dump (-10000 << 1);
echo '-10000 >> 1 = '; var_dump (-10000 >> 1);
echo '-10000 + 5 = '; var_dump (-10000 + 5);
echo '-10000 - 5 = '; var_dump (-10000 - 5);
#echo '-10000 / 5 = '; var_dump (-10000 / 5);
echo '-10000 * 5 = '; var_dump (-10000 * 5);
echo '-10000 % 5 = '; var_dump (-10000 % 5);
echo '-10000 ^ 5 = '; var_dump (-10000 ^ 5);
echo '-10000 & 5 = '; var_dump (-10000 & 5);
echo '-10000 | 5 = '; var_dump (-10000 | 5);
echo '-10000 . 5 = '; var_dump (-10000 . 5);
echo '-10000 == 5 = '; var_dump (-10000 == 5);
echo '-10000 === 5 = '; var_dump (-10000 === 5);
echo '-10000 != 5 = '; var_dump (-10000 != 5);
echo '-10000 <> 5 = '; var_dump (-10000 <> 5);
echo '-10000 !== 5 = '; var_dump (-10000 !== 5);
echo '-10000 <= 5 = '; var_dump (-10000 <= 5);
echo '-10000 >= 5 = '; var_dump (-10000 >= 5);
echo '-10000 && 5 = '; var_dump (-10000 && 5);
echo '-10000 || 5 = '; var_dump (-10000 || 5);
#echo '-10000 << 5 = '; var_dump (-10000 << 5);
echo '-10000 >> 5 = '; var_dump (-10000 >> 5);
echo '-10000 + -1 = '; var_dump (-10000 + -1);
echo '-10000 - -1 = '; var_dump (-10000 - -1);
#echo '-10000 / -1 = '; var_dump (-10000 / -1);
echo '-10000 * -1 = '; var_dump (-10000 * -1);
echo '-10000 % -1 = '; var_dump (-10000 % -1);
echo '-10000 ^ -1 = '; var_dump (-10000 ^ -1);
echo '-10000 & -1 = '; var_dump (-10000 & -1);
echo '-10000 | -1 = '; var_dump (-10000 | -1);
echo '-10000 . -1 = '; var_dump (-10000 . -1);
echo '-10000 == -1 = '; var_dump (-10000 == -1);
echo '-10000 === -1 = '; var_dump (-10000 === -1);
echo '-10000 != -1 = '; var_dump (-10000 != -1);
echo '-10000 <> -1 = '; var_dump (-10000 <> -1);
echo '-10000 !== -1 = '; var_dump (-10000 !== -1);
echo '-10000 <= -1 = '; var_dump (-10000 <= -1);
echo '-10000 >= -1 = '; var_dump (-10000 >= -1);
echo '-10000 && -1 = '; var_dump (-10000 && -1);
echo '-10000 || -1 = '; var_dump (-10000 || -1);
#echo '-10000 << -1 = '; var_dump (-10000 << -1);
#echo '-10000 >> -1 = '; var_dump (-10000 >> -1);
echo '-10000 + -10000 = '; var_dump (-10000 + -10000);
echo '-10000 - -10000 = '; var_dump (-10000 - -10000);
#echo '-10000 / -10000 = '; var_dump (-10000 / -10000);
echo '-10000 * -10000 = '; var_dump (-10000 * -10000);
echo '-10000 % -10000 = '; var_dump (-10000 % -10000);
echo '-10000 ^ -10000 = '; var_dump (-10000 ^ -10000);
echo '-10000 & -10000 = '; var_dump (-10000 & -10000);
echo '-10000 | -10000 = '; var_dump (-10000 | -10000);
echo '-10000 . -10000 = '; var_dump (-10000 . -10000);
echo '-10000 == -10000 = '; var_dump (-10000 == -10000);
echo '-10000 === -10000 = '; var_dump (-10000 === -10000);
echo '-10000 != -10000 = '; var_dump (-10000 != -10000);
echo '-10000 <> -10000 = '; var_dump (-10000 <> -10000);
echo '-10000 !== -10000 = '; var_dump (-10000 !== -10000);
echo '-10000 <= -10000 = '; var_dump (-10000 <= -10000);
echo '-10000 >= -10000 = '; var_dump (-10000 >= -10000);
echo '-10000 && -10000 = '; var_dump (-10000 && -10000);
echo '-10000 || -10000 = '; var_dump (-10000 || -10000);
#echo '-10000 << -10000 = '; var_dump (-10000 << -10000);
#echo '-10000 >> -10000 = '; var_dump (-10000 >> -10000);
echo '-10000 + true = '; var_dump (-10000 + true);
echo '-10000 - true = '; var_dump (-10000 - true);
#echo '-10000 / true = '; var_dump (-10000 / true);
echo '-10000 * true = '; var_dump (-10000 * true);
echo '-10000 % true = '; var_dump (-10000 % true);
echo '-10000 ^ true = '; var_dump (-10000 ^ true);
echo '-10000 & true = '; var_dump (-10000 & true);
echo '-10000 | true = '; var_dump (-10000 | true);
echo '-10000 . true = '; var_dump (-10000 . true);
echo '-10000 == true = '; var_dump (-10000 == true);
echo '-10000 === true = '; var_dump (-10000 === true);
echo '-10000 != true = '; var_dump (-10000 != true);
echo '-10000 <> true = '; var_dump (-10000 <> true);
echo '-10000 !== true = '; var_dump (-10000 !== true);
echo '-10000 <= true = '; var_dump (-10000 <= true);
echo '-10000 >= true = '; var_dump (-10000 >= true);
echo '-10000 && true = '; var_dump (-10000 && true);
echo '-10000 || true = '; var_dump (-10000 || true);
#echo '-10000 << true = '; var_dump (-10000 << true);
echo '-10000 >> true = '; var_dump (-10000 >> true);
echo '-10000 + false = '; var_dump (-10000 + false);
echo '-10000 - false = '; var_dump (-10000 - false);
echo '-10000 * false = '; var_dump (-10000 * false);
echo '-10000 ^ false = '; var_dump (-10000 ^ false);
echo '-10000 & false = '; var_dump (-10000 & false);
echo '-10000 | false = '; var_dump (-10000 | false);
echo '-10000 . false = '; var_dump (-10000 . false);
echo '-10000 == false = '; var_dump (-10000 == false);
echo '-10000 === false = '; var_dump (-10000 === false);
echo '-10000 != false = '; var_dump (-10000 != false);
echo '-10000 <> false = '; var_dump (-10000 <> false);
echo '-10000 !== false = '; var_dump (-10000 !== false);
echo '-10000 <= false = '; var_dump (-10000 <= false);
echo '-10000 >= false = '; var_dump (-10000 >= false);
echo '-10000 && false = '; var_dump (-10000 && false);
echo '-10000 || false = '; var_dump (-10000 || false);
#echo '-10000 << false = '; var_dump (-10000 << false);
echo '-10000 >> false = '; var_dump (-10000 >> false);
echo '-10000 + "String" = '; var_dump (-10000 + "String");
echo '-10000 - "String" = '; var_dump (-10000 - "String");
echo '-10000 * "String" = '; var_dump (-10000 * "String");
echo '-10000 ^ "String" = '; var_dump (-10000 ^ "String");
echo '-10000 & "String" = '; var_dump (-10000 & "String");
echo '-10000 | "String" = '; var_dump (-10000 | "String");
echo '-10000 . "String" = '; var_dump (-10000 . "String");
echo '-10000 == "String" = '; var_dump (-10000 == "String");
echo '-10000 === "String" = '; var_dump (-10000 === "String");
echo '-10000 != "String" = '; var_dump (-10000 != "String");
echo '-10000 <> "String" = '; var_dump (-10000 <> "String");
echo '-10000 !== "String" = '; var_dump (-10000 !== "String");
echo '-10000 <= "String" = '; var_dump (-10000 <= "String");
echo '-10000 >= "String" = '; var_dump (-10000 >= "String");
echo '-10000 && "String" = '; var_dump (-10000 && "String");
echo '-10000 || "String" = '; var_dump (-10000 || "String");
#echo '-10000 << "String" = '; var_dump (-10000 << "String");
echo '-10000 >> "String" = '; var_dump (-10000 >> "String");
echo '-10000 + "num3" = '; var_dump (-10000 + "num3");
echo '-10000 - "num3" = '; var_dump (-10000 - "num3");
echo '-10000 * "num3" = '; var_dump (-10000 * "num3");
echo '-10000 ^ "num3" = '; var_dump (-10000 ^ "num3");
echo '-10000 & "num3" = '; var_dump (-10000 & "num3");
echo '-10000 | "num3" = '; var_dump (-10000 | "num3");
echo '-10000 . "num3" = '; var_dump (-10000 . "num3");
echo '-10000 == "num3" = '; var_dump (-10000 == "num3");
echo '-10000 === "num3" = '; var_dump (-10000 === "num3");
echo '-10000 != "num3" = '; var_dump (-10000 != "num3");
echo '-10000 <> "num3" = '; var_dump (-10000 <> "num3");
echo '-10000 !== "num3" = '; var_dump (-10000 !== "num3");
echo '-10000 <= "num3" = '; var_dump (-10000 <= "num3");
echo '-10000 >= "num3" = '; var_dump (-10000 >= "num3");
echo '-10000 && "num3" = '; var_dump (-10000 && "num3");
echo '-10000 || "num3" = '; var_dump (-10000 || "num3");
#echo '-10000 << "num3" = '; var_dump (-10000 << "num3");
echo '-10000 >> "num3" = '; var_dump (-10000 >> "num3");
echo '-10000 + "3" = '; var_dump (-10000 + "3");
echo '-10000 - "3" = '; var_dump (-10000 - "3");
#echo '-10000 / "3" = '; var_dump (-10000 / "3");
echo '-10000 * "3" = '; var_dump (-10000 * "3");
echo '-10000 % "3" = '; var_dump (-10000 % "3");
echo '-10000 ^ "3" = '; var_dump (-10000 ^ "3");
echo '-10000 & "3" = '; var_dump (-10000 & "3");
echo '-10000 | "3" = '; var_dump (-10000 | "3");
echo '-10000 . "3" = '; var_dump (-10000 . "3");
echo '-10000 == "3" = '; var_dump (-10000 == "3");
echo '-10000 === "3" = '; var_dump (-10000 === "3");
echo '-10000 != "3" = '; var_dump (-10000 != "3");
echo '-10000 <> "3" = '; var_dump (-10000 <> "3");
echo '-10000 !== "3" = '; var_dump (-10000 !== "3");
echo '-10000 <= "3" = '; var_dump (-10000 <= "3");
echo '-10000 >= "3" = '; var_dump (-10000 >= "3");
echo '-10000 && "3" = '; var_dump (-10000 && "3");
echo '-10000 || "3" = '; var_dump (-10000 || "3");
#echo '-10000 << "3" = '; var_dump (-10000 << "3");
echo '-10000 >> "3" = '; var_dump (-10000 >> "3");
echo '-10000 + 6.702 = '; var_dump (-10000 + 6.702);
echo '-10000 - 6.702 = '; var_dump (-10000 - 6.702);
#echo '-10000 / 6.702 = '; var_dump (-10000 / 6.702);
echo '-10000 * 6.702 = '; var_dump (-10000 * 6.702);
echo '-10000 % 6.702 = '; @var_dump (-10000 % 6.702);
echo '-10000 ^ 6.702 = '; var_dump (-10000 ^ 6.702);
echo '-10000 & 6.702 = '; var_dump (-10000 & 6.702);
echo '-10000 | 6.702 = '; var_dump (-10000 | 6.702);
echo '-10000 . 6.702 = '; var_dump (-10000 . 6.702);
echo '-10000 == 6.702 = '; var_dump (-10000 == 6.702);
echo '-10000 === 6.702 = '; var_dump (-10000 === 6.702);
echo '-10000 != 6.702 = '; var_dump (-10000 != 6.702);
echo '-10000 <> 6.702 = '; var_dump (-10000 <> 6.702);
echo '-10000 !== 6.702 = '; var_dump (-10000 !== 6.702);
echo '-10000 <= 6.702 = '; var_dump (-10000 <= 6.702);
echo '-10000 >= 6.702 = '; var_dump (-10000 >= 6.702);
echo '-10000 && 6.702 = '; var_dump (-10000 && 6.702);
echo '-10000 || 6.702 = '; var_dump (-10000 || 6.702);
#echo '-10000 << 6.702 = '; var_dump (-10000 << 6.702);
#echo '-10000 >> 6.702 = '; var_dump (-10000 >> 6.702);
echo '-10000 + 40.4e3 = '; var_dump (-10000 + 40.4e3);
echo '-10000 - 40.4e3 = '; var_dump (-10000 - 40.4e3);
#echo '-10000 / 40.4e3 = '; var_dump (-10000 / 40.4e3);
echo '-10000 * 40.4e3 = '; var_dump (-10000 * 40.4e3);
echo '-10000 % 40.4e3 = '; var_dump (-10000 % 40.4e3);
echo '-10000 ^ 40.4e3 = '; var_dump (-10000 ^ 40.4e3);
echo '-10000 & 40.4e3 = '; var_dump (-10000 & 40.4e3);
echo '-10000 | 40.4e3 = '; var_dump (-10000 | 40.4e3);
echo '-10000 . 40.4e3 = '; var_dump (-10000 . 40.4e3);
echo '-10000 == 40.4e3 = '; var_dump (-10000 == 40.4e3);
echo '-10000 === 40.4e3 = '; var_dump (-10000 === 40.4e3);
echo '-10000 != 40.4e3 = '; var_dump (-10000 != 40.4e3);
echo '-10000 <> 40.4e3 = '; var_dump (-10000 <> 40.4e3);
echo '-10000 !== 40.4e3 = '; var_dump (-10000 !== 40.4e3);
echo '-10000 <= 40.4e3 = '; var_dump (-10000 <= 40.4e3);
echo '-10000 >= 40.4e3 = '; var_dump (-10000 >= 40.4e3);
echo '-10000 && 40.4e3 = '; var_dump (-10000 && 40.4e3);
echo '-10000 || 40.4e3 = '; var_dump (-10000 || 40.4e3);
#echo '-10000 << 40.4e3 = '; var_dump (-10000 << 40.4e3);
#echo '-10000 >> 40.4e3 = '; var_dump (-10000 >> 40.4e3);
echo '-10000 + 0x786F = '; var_dump (-10000 + 0x786F);
echo '-10000 - 0x786F = '; var_dump (-10000 - 0x786F);
#echo '-10000 / 0x786F = '; var_dump (-10000 / 0x786F);
echo '-10000 * 0x786F = '; var_dump (-10000 * 0x786F);
echo '-10000 % 0x786F = '; var_dump (-10000 % 0x786F);
echo '-10000 ^ 0x786F = '; var_dump (-10000 ^ 0x786F);
echo '-10000 & 0x786F = '; var_dump (-10000 & 0x786F);
echo '-10000 | 0x786F = '; var_dump (-10000 | 0x786F);
echo '-10000 . 0x786F = '; var_dump (-10000 . 0x786F);
echo '-10000 == 0x786F = '; var_dump (-10000 == 0x786F);
echo '-10000 === 0x786F = '; var_dump (-10000 === 0x786F);
echo '-10000 != 0x786F = '; var_dump (-10000 != 0x786F);
echo '-10000 <> 0x786F = '; var_dump (-10000 <> 0x786F);
echo '-10000 !== 0x786F = '; var_dump (-10000 !== 0x786F);
echo '-10000 <= 0x786F = '; var_dump (-10000 <= 0x786F);
echo '-10000 >= 0x786F = '; var_dump (-10000 >= 0x786F);
echo '-10000 && 0x786F = '; var_dump (-10000 && 0x786F);
echo '-10000 || 0x786F = '; var_dump (-10000 || 0x786F);
#echo '-10000 << 0x786F = '; var_dump (-10000 << 0x786F);
echo '-10000 >> 0xF = '; var_dump (-10000 >> 0xF);
echo '~ -10000 = '; var_dump (~ -10000);
echo '! -10000 = '; var_dump (! -10000);
}

minus_10000_folding();

function true_folding() {
echo 'true + 0 = '; var_dump (true + 0);
echo 'true - 0 = '; var_dump (true - 0);
echo 'true * 0 = '; var_dump (true * 0);
echo 'true ^ 0 = '; var_dump (true ^ 0);
echo 'true & 0 = '; var_dump (true & 0);
echo 'true | 0 = '; var_dump (true | 0);
echo 'true . 0 = '; var_dump (true . 0);
echo 'true == 0 = '; var_dump (true == 0);
echo 'true === 0 = '; var_dump (true === 0);
echo 'true != 0 = '; var_dump (true != 0);
echo 'true <> 0 = '; var_dump (true <> 0);
echo 'true !== 0 = '; var_dump (true !== 0);
echo 'true <= 0 = '; var_dump (true <= 0);
echo 'true >= 0 = '; var_dump (true >= 0);
echo 'true && 0 = '; var_dump (true && 0);
echo 'true || 0 = '; var_dump (true || 0);
#echo 'true << 0 = '; var_dump (true << 0);
echo 'true >> 0 = '; var_dump (true >> 0);
echo 'true + 1 = '; var_dump (true + 1);
echo 'true - 1 = '; var_dump (true - 1);
#echo 'true / 1 = '; var_dump (true / 1);
echo 'true * 1 = '; var_dump (true * 1);
echo 'true % 1 = '; var_dump (true % 1);
echo 'true ^ 1 = '; var_dump (true ^ 1);
echo 'true & 1 = '; var_dump (true & 1);
echo 'true | 1 = '; var_dump (true | 1);
echo 'true . 1 = '; var_dump (true . 1);
echo 'true == 1 = '; var_dump (true == 1);
echo 'true === 1 = '; var_dump (true === 1);
echo 'true != 1 = '; var_dump (true != 1);
echo 'true <> 1 = '; var_dump (true <> 1);
echo 'true !== 1 = '; var_dump (true !== 1);
echo 'true <= 1 = '; var_dump (true <= 1);
echo 'true >= 1 = '; var_dump (true >= 1);
echo 'true && 1 = '; var_dump (true && 1);
echo 'true || 1 = '; var_dump (true || 1);
#echo 'true << 1 = '; var_dump (true << 1);
echo 'true >> 1 = '; var_dump (true >> 1);
echo 'true + 5 = '; var_dump (true + 5);
echo 'true - 5 = '; var_dump (true - 5);
#echo 'true / 5 = '; var_dump (true / 5);
echo 'true * 5 = '; var_dump (true * 5);
echo 'true % 5 = '; var_dump (true % 5);
echo 'true ^ 5 = '; var_dump (true ^ 5);
echo 'true & 5 = '; var_dump (true & 5);
echo 'true | 5 = '; var_dump (true | 5);
echo 'true . 5 = '; var_dump (true . 5);
echo 'true == 5 = '; var_dump (true == 5);
echo 'true === 5 = '; var_dump (true === 5);
echo 'true != 5 = '; var_dump (true != 5);
echo 'true <> 5 = '; var_dump (true <> 5);
echo 'true !== 5 = '; var_dump (true !== 5);
echo 'true <= 5 = '; var_dump (true <= 5);
echo 'true >= 5 = '; var_dump (true >= 5);
echo 'true && 5 = '; var_dump (true && 5);
echo 'true || 5 = '; var_dump (true || 5);
#echo 'true << 5 = '; var_dump (true << 5);
echo 'true >> 5 = '; var_dump (true >> 5);
echo 'true + -1 = '; var_dump (true + -1);
echo 'true - -1 = '; var_dump (true - -1);
#echo 'true / -1 = '; var_dump (true / -1);
echo 'true * -1 = '; var_dump (true * -1);
echo 'true % -1 = '; var_dump (true % -1);
echo 'true ^ -1 = '; var_dump (true ^ -1);
echo 'true & -1 = '; var_dump (true & -1);
echo 'true | -1 = '; var_dump (true | -1);
echo 'true . -1 = '; var_dump (true . -1);
echo 'true == -1 = '; var_dump (true == -1);
echo 'true === -1 = '; var_dump (true === -1);
echo 'true != -1 = '; var_dump (true != -1);
echo 'true <> -1 = '; var_dump (true <> -1);
echo 'true !== -1 = '; var_dump (true !== -1);
echo 'true <= -1 = '; var_dump (true <= -1);
echo 'true >= -1 = '; var_dump (true >= -1);
echo 'true && -1 = '; var_dump (true && -1);
echo 'true || -1 = '; var_dump (true || -1);
#echo 'true << -1 = '; var_dump (true << -1);
#echo 'true >> -1 = '; var_dump (true >> -1);
echo 'true + -10000 = '; var_dump (true + -10000);
echo 'true - -10000 = '; var_dump (true - -10000);
#echo 'true / -10000 = '; var_dump (true / -10000);
echo 'true * -10000 = '; var_dump (true * -10000);
echo 'true % -10000 = '; var_dump (true % -10000);
echo 'true ^ -10000 = '; var_dump (true ^ -10000);
echo 'true & -10000 = '; var_dump (true & -10000);
echo 'true | -10000 = '; var_dump (true | -10000);
echo 'true . -10000 = '; var_dump (true . -10000);
echo 'true == -10000 = '; var_dump (true == -10000);
echo 'true === -10000 = '; var_dump (true === -10000);
echo 'true != -10000 = '; var_dump (true != -10000);
echo 'true <> -10000 = '; var_dump (true <> -10000);
echo 'true !== -10000 = '; var_dump (true !== -10000);
echo 'true <= -10000 = '; var_dump (true <= -10000);
echo 'true >= -10000 = '; var_dump (true >= -10000);
echo 'true && -10000 = '; var_dump (true && -10000);
echo 'true || -10000 = '; var_dump (true || -10000);
#echo 'true << -10000 = '; var_dump (true << -10000);
#echo 'true >> -10000 = '; var_dump (true >> -10000);
echo 'true + true = '; var_dump (true + true);
echo 'true - true = '; var_dump (true - true);
#echo 'true / true = '; var_dump (true / true);
echo 'true * true = '; var_dump (true * true);
echo 'true % true = '; var_dump (true % true);
echo 'true ^ true = '; var_dump (true ^ true);
echo 'true & true = '; var_dump (true & true);
echo 'true | true = '; var_dump (true | true);
echo 'true . true = '; var_dump (true . true);
echo 'true == true = '; var_dump (true == true);
echo 'true === true = '; var_dump (true === true);
echo 'true != true = '; var_dump (true != true);
echo 'true <> true = '; var_dump (true <> true);
echo 'true !== true = '; var_dump (true !== true);
echo 'true <= true = '; var_dump (true <= true);
echo 'true >= true = '; var_dump (true >= true);
echo 'true && true = '; var_dump (true && true);
echo 'true || true = '; var_dump (true || true);
#echo 'true << true = '; var_dump (true << true);
echo 'true >> true = '; var_dump (true >> true);
echo 'true + false = '; var_dump (true + false);
echo 'true - false = '; var_dump (true - false);
echo 'true * false = '; var_dump (true * false);
echo 'true ^ false = '; var_dump (true ^ false);
echo 'true & false = '; var_dump (true & false);
echo 'true | false = '; var_dump (true | false);
echo 'true . false = '; var_dump (true . false);
echo 'true == false = '; var_dump (true == false);
echo 'true === false = '; var_dump (true === false);
echo 'true != false = '; var_dump (true != false);
echo 'true <> false = '; var_dump (true <> false);
echo 'true !== false = '; var_dump (true !== false);
echo 'true <= false = '; var_dump (true <= false);
echo 'true >= false = '; var_dump (true >= false);
echo 'true && false = '; var_dump (true && false);
echo 'true || false = '; var_dump (true || false);
#echo 'true << false = '; var_dump (true << false);
echo 'true >> false = '; var_dump (true >> false);
echo 'true + "String" = '; var_dump (true + "String");
echo 'true - "String" = '; var_dump (true - "String");
echo 'true * "String" = '; var_dump (true * "String");
echo 'true ^ "String" = '; var_dump (true ^ "String");
echo 'true & "String" = '; var_dump (true & "String");
echo 'true | "String" = '; var_dump (true | "String");
echo 'true . "String" = '; var_dump (true . "String");
echo 'true == "String" = '; var_dump (true == "String");
echo 'true === "String" = '; var_dump (true === "String");
echo 'true != "String" = '; var_dump (true != "String");
echo 'true <> "String" = '; var_dump (true <> "String");
echo 'true !== "String" = '; var_dump (true !== "String");
echo 'true <= "String" = '; var_dump (true <= "String");
echo 'true >= "String" = '; var_dump (true >= "String");
echo 'true && "String" = '; var_dump (true && "String");
echo 'true || "String" = '; var_dump (true || "String");
#echo 'true << "String" = '; var_dump (true << "String");
echo 'true >> "String" = '; var_dump (true >> "String");
echo 'true + "num3" = '; var_dump (true + "num3");
echo 'true - "num3" = '; var_dump (true - "num3");
echo 'true * "num3" = '; var_dump (true * "num3");
echo 'true ^ "num3" = '; var_dump (true ^ "num3");
echo 'true & "num3" = '; var_dump (true & "num3");
echo 'true | "num3" = '; var_dump (true | "num3");
echo 'true . "num3" = '; var_dump (true . "num3");
echo 'true == "num3" = '; var_dump (true == "num3");
echo 'true === "num3" = '; var_dump (true === "num3");
echo 'true != "num3" = '; var_dump (true != "num3");
echo 'true <> "num3" = '; var_dump (true <> "num3");
echo 'true !== "num3" = '; var_dump (true !== "num3");
echo 'true <= "num3" = '; var_dump (true <= "num3");
echo 'true >= "num3" = '; var_dump (true >= "num3");
echo 'true && "num3" = '; var_dump (true && "num3");
echo 'true || "num3" = '; var_dump (true || "num3");
#echo 'true << "num3" = '; var_dump (true << "num3");
echo 'true >> "num3" = '; var_dump (true >> "num3");
echo 'true + "3" = '; var_dump (true + "3");
echo 'true - "3" = '; var_dump (true - "3");
#echo 'true / "3" = '; var_dump (true / "3");
echo 'true * "3" = '; var_dump (true * "3");
echo 'true % "3" = '; var_dump (true % "3");
echo 'true ^ "3" = '; var_dump (true ^ "3");
echo 'true & "3" = '; var_dump (true & "3");
echo 'true | "3" = '; var_dump (true | "3");
echo 'true . "3" = '; var_dump (true . "3");
echo 'true == "3" = '; var_dump (true == "3");
echo 'true === "3" = '; var_dump (true === "3");
echo 'true != "3" = '; var_dump (true != "3");
echo 'true <> "3" = '; var_dump (true <> "3");
echo 'true !== "3" = '; var_dump (true !== "3");
echo 'true <= "3" = '; var_dump (true <= "3");
echo 'true >= "3" = '; var_dump (true >= "3");
echo 'true && "3" = '; var_dump (true && "3");
echo 'true || "3" = '; var_dump (true || "3");
#echo 'true << "3" = '; var_dump (true << "3");
echo 'true >> "3" = '; var_dump (true >> "3");
echo 'true + 6.702 = '; var_dump (true + 6.702);
echo 'true - 6.702 = '; var_dump (true - 6.702);
#echo 'true / 6.702 = '; var_dump (true / 6.702);
echo 'true * 6.702 = '; var_dump (true * 6.702);
echo 'true % 6.702 = '; @var_dump (true % 6.702);
echo 'true ^ 6.702 = '; var_dump (true ^ 6.702);
echo 'true & 6.702 = '; var_dump (true & 6.702);
echo 'true | 6.702 = '; var_dump (true | 6.702);
echo 'true . 6.702 = '; var_dump (true . 6.702);
echo 'true == 6.702 = '; var_dump (true == 6.702);
echo 'true === 6.702 = '; var_dump (true === 6.702);
echo 'true != 6.702 = '; var_dump (true != 6.702);
echo 'true <> 6.702 = '; var_dump (true <> 6.702);
echo 'true !== 6.702 = '; var_dump (true !== 6.702);
echo 'true <= 6.702 = '; var_dump (true <= 6.702);
echo 'true >= 6.702 = '; var_dump (true >= 6.702);
echo 'true && 6.702 = '; var_dump (true && 6.702);
echo 'true || 6.702 = '; var_dump (true || 6.702);
#echo 'true << 6.702 = '; var_dump (true << 6.702);
#echo 'true >> 6.702 = '; var_dump (true >> 6.702);
echo 'true + 40.4e3 = '; var_dump (true + 40.4e3);
echo 'true - 40.4e3 = '; var_dump (true - 40.4e3);
#echo 'true / 40.4e3 = '; var_dump (true / 40.4e3);
echo 'true * 40.4e3 = '; var_dump (true * 40.4e3);
echo 'true % 40.4e3 = '; var_dump (true % 40.4e3);
echo 'true ^ 40.4e3 = '; var_dump (true ^ 40.4e3);
echo 'true & 40.4e3 = '; var_dump (true & 40.4e3);
echo 'true | 40.4e3 = '; var_dump (true | 40.4e3);
echo 'true . 40.4e3 = '; var_dump (true . 40.4e3);
echo 'true == 40.4e3 = '; var_dump (true == 40.4e3);
echo 'true === 40.4e3 = '; var_dump (true === 40.4e3);
echo 'true != 40.4e3 = '; var_dump (true != 40.4e3);
echo 'true <> 40.4e3 = '; var_dump (true <> 40.4e3);
echo 'true !== 40.4e3 = '; var_dump (true !== 40.4e3);
echo 'true <= 40.4e3 = '; var_dump (true <= 40.4e3);
echo 'true >= 40.4e3 = '; var_dump (true >= 40.4e3);
echo 'true && 40.4e3 = '; var_dump (true && 40.4e3);
echo 'true || 40.4e3 = '; var_dump (true || 40.4e3);
#echo 'true << 40.4e3 = '; var_dump (true << 40.4e3);
#echo 'true >> 40.4e3 = '; var_dump (true >> 40.4e3);
echo 'true + 0x786F = '; var_dump (true + 0x786F);
echo 'true - 0x786F = '; var_dump (true - 0x786F);
#echo 'true / 0x786F = '; var_dump (true / 0x786F);
echo 'true * 0x786F = '; var_dump (true * 0x786F);
echo 'true % 0x786F = '; var_dump (true % 0x786F);
echo 'true ^ 0x786F = '; var_dump (true ^ 0x786F);
echo 'true & 0x786F = '; var_dump (true & 0x786F);
echo 'true | 0x786F = '; var_dump (true | 0x786F);
echo 'true . 0x786F = '; var_dump (true . 0x786F);
echo 'true == 0x786F = '; var_dump (true == 0x786F);
echo 'true === 0x786F = '; var_dump (true === 0x786F);
echo 'true != 0x786F = '; var_dump (true != 0x786F);
echo 'true <> 0x786F = '; var_dump (true <> 0x786F);
echo 'true !== 0x786F = '; var_dump (true !== 0x786F);
echo 'true <= 0x786F = '; var_dump (true <= 0x786F);
echo 'true >= 0x786F = '; var_dump (true >= 0x786F);
echo 'true && 0x786F = '; var_dump (true && 0x786F);
echo 'true || 0x786F = '; var_dump (true || 0x786F);
#echo 'true << 0x786F = '; var_dump (true << 0x786F);
echo 'true >> 0xF = '; var_dump (true >> 0xF);
echo '! true = '; var_dump (! true);
}

true_folding();

function false_folding() {
echo 'false + 0 = '; var_dump (false + 0);
echo 'false - 0 = '; var_dump (false - 0);
echo 'false * 0 = '; var_dump (false * 0);
echo 'false ^ 0 = '; var_dump (false ^ 0);
echo 'false & 0 = '; var_dump (false & 0);
echo 'false | 0 = '; var_dump (false | 0);
echo 'false . 0 = '; var_dump (false . 0);
echo 'false == 0 = '; var_dump (false == 0);
echo 'false === 0 = '; var_dump (false === 0);
echo 'false != 0 = '; var_dump (false != 0);
echo 'false <> 0 = '; var_dump (false <> 0);
echo 'false !== 0 = '; var_dump (false !== 0);
echo 'false <= 0 = '; var_dump (false <= 0);
echo 'false >= 0 = '; var_dump (false >= 0);
echo 'false && 0 = '; var_dump (false && 0);
echo 'false || 0 = '; var_dump (false || 0);
#echo 'false << 0 = '; var_dump (false << 0);
echo 'false >> 0 = '; var_dump (false >> 0);
echo 'false + 1 = '; var_dump (false + 1);
echo 'false - 1 = '; var_dump (false - 1);
#echo 'false / 1 = '; var_dump (false / 1);
echo 'false * 1 = '; var_dump (false * 1);
echo 'false % 1 = '; var_dump (false % 1);
echo 'false ^ 1 = '; var_dump (false ^ 1);
echo 'false & 1 = '; var_dump (false & 1);
echo 'false | 1 = '; var_dump (false | 1);
echo 'false . 1 = '; var_dump (false . 1);
echo 'false == 1 = '; var_dump (false == 1);
echo 'false === 1 = '; var_dump (false === 1);
echo 'false != 1 = '; var_dump (false != 1);
echo 'false <> 1 = '; var_dump (false <> 1);
echo 'false !== 1 = '; var_dump (false !== 1);
echo 'false <= 1 = '; var_dump (false <= 1);
echo 'false >= 1 = '; var_dump (false >= 1);
echo 'false && 1 = '; var_dump (false && 1);
echo 'false || 1 = '; var_dump (false || 1);
#echo 'false << 1 = '; var_dump (false << 1);
echo 'false >> 1 = '; var_dump (false >> 1);
echo 'false + 5 = '; var_dump (false + 5);
echo 'false - 5 = '; var_dump (false - 5);
#echo 'false / 5 = '; var_dump (false / 5);
echo 'false * 5 = '; var_dump (false * 5);
echo 'false % 5 = '; var_dump (false % 5);
echo 'false ^ 5 = '; var_dump (false ^ 5);
echo 'false & 5 = '; var_dump (false & 5);
echo 'false | 5 = '; var_dump (false | 5);
echo 'false . 5 = '; var_dump (false . 5);
echo 'false == 5 = '; var_dump (false == 5);
echo 'false === 5 = '; var_dump (false === 5);
echo 'false != 5 = '; var_dump (false != 5);
echo 'false <> 5 = '; var_dump (false <> 5);
echo 'false !== 5 = '; var_dump (false !== 5);
echo 'false <= 5 = '; var_dump (false <= 5);
echo 'false >= 5 = '; var_dump (false >= 5);
echo 'false && 5 = '; var_dump (false && 5);
echo 'false || 5 = '; var_dump (false || 5);
#echo 'false << 5 = '; var_dump (false << 5);
echo 'false >> 5 = '; var_dump (false >> 5);
echo 'false + -1 = '; var_dump (false + -1);
echo 'false - -1 = '; var_dump (false - -1);
#echo 'false / -1 = '; var_dump (false / -1);
echo 'false * -1 = '; var_dump (false * -1);
echo 'false % -1 = '; var_dump (false % -1);
echo 'false ^ -1 = '; var_dump (false ^ -1);
echo 'false & -1 = '; var_dump (false & -1);
echo 'false | -1 = '; var_dump (false | -1);
echo 'false . -1 = '; var_dump (false . -1);
echo 'false == -1 = '; var_dump (false == -1);
echo 'false === -1 = '; var_dump (false === -1);
echo 'false != -1 = '; var_dump (false != -1);
echo 'false <> -1 = '; var_dump (false <> -1);
echo 'false !== -1 = '; var_dump (false !== -1);
echo 'false <= -1 = '; var_dump (false <= -1);
echo 'false >= -1 = '; var_dump (false >= -1);
echo 'false && -1 = '; var_dump (false && -1);
echo 'false || -1 = '; var_dump (false || -1);
#echo 'false << -1 = '; var_dump (false << -1);
#echo 'false >> -1 = '; var_dump (false >> -1);
echo 'false + -10000 = '; var_dump (false + -10000);
echo 'false - -10000 = '; var_dump (false - -10000);
#echo 'false / -10000 = '; var_dump (false / -10000);
echo 'false * -10000 = '; var_dump (false * -10000);
echo 'false % -10000 = '; var_dump (false % -10000);
echo 'false ^ -10000 = '; var_dump (false ^ -10000);
echo 'false & -10000 = '; var_dump (false & -10000);
echo 'false | -10000 = '; var_dump (false | -10000);
echo 'false . -10000 = '; var_dump (false . -10000);
echo 'false == -10000 = '; var_dump (false == -10000);
echo 'false === -10000 = '; var_dump (false === -10000);
echo 'false != -10000 = '; var_dump (false != -10000);
echo 'false <> -10000 = '; var_dump (false <> -10000);
echo 'false !== -10000 = '; var_dump (false !== -10000);
echo 'false <= -10000 = '; var_dump (false <= -10000);
echo 'false >= -10000 = '; var_dump (false >= -10000);
echo 'false && -10000 = '; var_dump (false && -10000);
echo 'false || -10000 = '; var_dump (false || -10000);
#echo 'false << -10000 = '; var_dump (false << -10000);
#echo 'false >> -10000 = '; var_dump (false >> -10000);
echo 'false + true = '; var_dump (false + true);
echo 'false - true = '; var_dump (false - true);
#echo 'false / true = '; var_dump (false / true);
echo 'false * true = '; var_dump (false * true);
echo 'false % true = '; var_dump (false % true);
echo 'false ^ true = '; var_dump (false ^ true);
echo 'false & true = '; var_dump (false & true);
echo 'false | true = '; var_dump (false | true);
echo 'false . true = '; var_dump (false . true);
echo 'false == true = '; var_dump (false == true);
echo 'false === true = '; var_dump (false === true);
echo 'false != true = '; var_dump (false != true);
echo 'false <> true = '; var_dump (false <> true);
echo 'false !== true = '; var_dump (false !== true);
echo 'false <= true = '; var_dump (false <= true);
echo 'false >= true = '; var_dump (false >= true);
echo 'false && true = '; var_dump (false && true);
echo 'false || true = '; var_dump (false || true);
#echo 'false << true = '; var_dump (false << true);
echo 'false >> true = '; var_dump (false >> true);
echo 'false + false = '; var_dump (false + false);
echo 'false - false = '; var_dump (false - false);
echo 'false * false = '; var_dump (false * false);
echo 'false ^ false = '; var_dump (false ^ false);
echo 'false & false = '; var_dump (false & false);
echo 'false | false = '; var_dump (false | false);
echo 'false . false = '; var_dump (false . false);
echo 'false == false = '; var_dump (false == false);
echo 'false === false = '; var_dump (false === false);
echo 'false != false = '; var_dump (false != false);
echo 'false <> false = '; var_dump (false <> false);
echo 'false !== false = '; var_dump (false !== false);
echo 'false <= false = '; var_dump (false <= false);
echo 'false >= false = '; var_dump (false >= false);
echo 'false && false = '; var_dump (false && false);
echo 'false || false = '; var_dump (false || false);
#echo 'false << false = '; var_dump (false << false);
echo 'false >> false = '; var_dump (false >> false);
echo 'false + "String" = '; var_dump (false + "String");
echo 'false - "String" = '; var_dump (false - "String");
echo 'false * "String" = '; var_dump (false * "String");
echo 'false ^ "String" = '; var_dump (false ^ "String");
echo 'false & "String" = '; var_dump (false & "String");
echo 'false | "String" = '; var_dump (false | "String");
echo 'false . "String" = '; var_dump (false . "String");
echo 'false == "String" = '; var_dump (false == "String");
echo 'false === "String" = '; var_dump (false === "String");
echo 'false != "String" = '; var_dump (false != "String");
echo 'false <> "String" = '; var_dump (false <> "String");
echo 'false !== "String" = '; var_dump (false !== "String");
echo 'false <= "String" = '; var_dump (false <= "String");
echo 'false >= "String" = '; var_dump (false >= "String");
echo 'false && "String" = '; var_dump (false && "String");
echo 'false || "String" = '; var_dump (false || "String");
#echo 'false << "String" = '; var_dump (false << "String");
echo 'false >> "String" = '; var_dump (false >> "String");
echo 'false + "num3" = '; var_dump (false + "num3");
echo 'false - "num3" = '; var_dump (false - "num3");
echo 'false * "num3" = '; var_dump (false * "num3");
echo 'false ^ "num3" = '; var_dump (false ^ "num3");
echo 'false & "num3" = '; var_dump (false & "num3");
echo 'false | "num3" = '; var_dump (false | "num3");
echo 'false . "num3" = '; var_dump (false . "num3");
echo 'false == "num3" = '; var_dump (false == "num3");
echo 'false === "num3" = '; var_dump (false === "num3");
echo 'false != "num3" = '; var_dump (false != "num3");
echo 'false <> "num3" = '; var_dump (false <> "num3");
echo 'false !== "num3" = '; var_dump (false !== "num3");
echo 'false <= "num3" = '; var_dump (false <= "num3");
echo 'false >= "num3" = '; var_dump (false >= "num3");
echo 'false && "num3" = '; var_dump (false && "num3");
echo 'false || "num3" = '; var_dump (false || "num3");
#echo 'false << "num3" = '; var_dump (false << "num3");
echo 'false >> "num3" = '; var_dump (false >> "num3");
echo 'false + "3" = '; var_dump (false + "3");
echo 'false - "3" = '; var_dump (false - "3");
#echo 'false / "3" = '; var_dump (false / "3");
echo 'false * "3" = '; var_dump (false * "3");
echo 'false % "3" = '; var_dump (false % "3");
echo 'false ^ "3" = '; var_dump (false ^ "3");
echo 'false & "3" = '; var_dump (false & "3");
echo 'false | "3" = '; var_dump (false | "3");
echo 'false . "3" = '; var_dump (false . "3");
echo 'false == "3" = '; var_dump (false == "3");
echo 'false === "3" = '; var_dump (false === "3");
echo 'false != "3" = '; var_dump (false != "3");
echo 'false <> "3" = '; var_dump (false <> "3");
echo 'false !== "3" = '; var_dump (false !== "3");
echo 'false <= "3" = '; var_dump (false <= "3");
echo 'false >= "3" = '; var_dump (false >= "3");
echo 'false && "3" = '; var_dump (false && "3");
echo 'false || "3" = '; var_dump (false || "3");
#echo 'false << "3" = '; var_dump (false << "3");
echo 'false >> "3" = '; var_dump (false >> "3");
echo 'false + 6.702 = '; var_dump (false + 6.702);
echo 'false - 6.702 = '; var_dump (false - 6.702);
#echo 'false / 6.702 = '; var_dump (false / 6.702);
echo 'false * 6.702 = '; var_dump (false * 6.702);
echo 'false % 6.702 = '; @var_dump (false % 6.702);
echo 'false ^ 6.702 = '; var_dump (false ^ 6.702);
echo 'false & 6.702 = '; var_dump (false & 6.702);
echo 'false | 6.702 = '; var_dump (false | 6.702);
echo 'false . 6.702 = '; var_dump (false . 6.702);
echo 'false == 6.702 = '; var_dump (false == 6.702);
echo 'false === 6.702 = '; var_dump (false === 6.702);
echo 'false != 6.702 = '; var_dump (false != 6.702);
echo 'false <> 6.702 = '; var_dump (false <> 6.702);
echo 'false !== 6.702 = '; var_dump (false !== 6.702);
echo 'false <= 6.702 = '; var_dump (false <= 6.702);
echo 'false >= 6.702 = '; var_dump (false >= 6.702);
echo 'false && 6.702 = '; var_dump (false && 6.702);
echo 'false || 6.702 = '; var_dump (false || 6.702);
#echo 'false << 6.702 = '; var_dump (false << 6.702);
#echo 'false >> 6.702 = '; var_dump (false >> 6.702);
echo 'false + 40.4e3 = '; var_dump (false + 40.4e3);
echo 'false - 40.4e3 = '; var_dump (false - 40.4e3);
#echo 'false / 40.4e3 = '; var_dump (false / 40.4e3);
echo 'false * 40.4e3 = '; var_dump (false * 40.4e3);
echo 'false % 40.4e3 = '; var_dump (false % 40.4e3);
echo 'false ^ 40.4e3 = '; var_dump (false ^ 40.4e3);
echo 'false & 40.4e3 = '; var_dump (false & 40.4e3);
echo 'false | 40.4e3 = '; var_dump (false | 40.4e3);
echo 'false . 40.4e3 = '; var_dump (false . 40.4e3);
echo 'false == 40.4e3 = '; var_dump (false == 40.4e3);
echo 'false === 40.4e3 = '; var_dump (false === 40.4e3);
echo 'false != 40.4e3 = '; var_dump (false != 40.4e3);
echo 'false <> 40.4e3 = '; var_dump (false <> 40.4e3);
echo 'false !== 40.4e3 = '; var_dump (false !== 40.4e3);
echo 'false <= 40.4e3 = '; var_dump (false <= 40.4e3);
echo 'false >= 40.4e3 = '; var_dump (false >= 40.4e3);
echo 'false && 40.4e3 = '; var_dump (false && 40.4e3);
echo 'false || 40.4e3 = '; var_dump (false || 40.4e3);
#echo 'false << 40.4e3 = '; var_dump (false << 40.4e3);
#echo 'false >> 40.4e3 = '; var_dump (false >> 40.4e3);
echo 'false + 0x786F = '; var_dump (false + 0x786F);
echo 'false - 0x786F = '; var_dump (false - 0x786F);
#echo 'false / 0x786F = '; var_dump (false / 0x786F);
echo 'false * 0x786F = '; var_dump (false * 0x786F);
echo 'false % 0x786F = '; var_dump (false % 0x786F);
echo 'false ^ 0x786F = '; var_dump (false ^ 0x786F);
echo 'false & 0x786F = '; var_dump (false & 0x786F);
echo 'false | 0x786F = '; var_dump (false | 0x786F);
echo 'false . 0x786F = '; var_dump (false . 0x786F);
echo 'false == 0x786F = '; var_dump (false == 0x786F);
echo 'false === 0x786F = '; var_dump (false === 0x786F);
echo 'false != 0x786F = '; var_dump (false != 0x786F);
echo 'false <> 0x786F = '; var_dump (false <> 0x786F);
echo 'false !== 0x786F = '; var_dump (false !== 0x786F);
echo 'false <= 0x786F = '; var_dump (false <= 0x786F);
echo 'false >= 0x786F = '; var_dump (false >= 0x786F);
echo 'false && 0x786F = '; var_dump (false && 0x786F);
echo 'false || 0x786F = '; var_dump (false || 0x786F);
#echo 'false << 0x786F = '; var_dump (false << 0x786F);
echo 'false >> 0xF = '; var_dump (false >> 0xF);
echo '! false = '; var_dump (! false);
}

false_folding();

function string_folding() {
echo '"String" + 0 = '; var_dump ("String" + 0);
echo '"String" - 0 = '; var_dump ("String" - 0);
echo '"String" * 0 = '; var_dump ("String" * 0);
echo '"String" ^ 0 = '; var_dump ("String" ^ 0);
echo '"String" & 0 = '; var_dump ("String" & 0);
echo '"String" | 0 = '; var_dump ("String" | 0);
echo '"String" . 0 = '; var_dump ("String" . 0);
echo '"String" == 0 = '; var_dump ("String" == 0);
echo '"String" === 0 = '; var_dump ("String" === 0);
echo '"String" != 0 = '; var_dump ("String" != 0);
echo '"String" <> 0 = '; var_dump ("String" <> 0);
echo '"String" !== 0 = '; var_dump ("String" !== 0);
echo '"String" <= 0 = '; var_dump ("String" <= 0);
echo '"String" >= 0 = '; var_dump ("String" >= 0);
echo '"String" && 0 = '; var_dump ("String" && 0);
echo '"String" || 0 = '; var_dump ("String" || 0);
#echo '"String" << 0 = '; var_dump ("String" << 0);
echo '"String" >> 0 = '; var_dump ("String" >> 0);
echo '"String" + 1 = '; var_dump ("String" + 1);
echo '"String" - 1 = '; var_dump ("String" - 1);
#echo '"String" / 1 = '; var_dump ("String" / 1);
echo '"String" * 1 = '; var_dump ("String" * 1);
echo '"String" % 1 = '; var_dump ("String" % 1);
echo '"String" ^ 1 = '; var_dump ("String" ^ 1);
echo '"String" & 1 = '; var_dump ("String" & 1);
echo '"String" | 1 = '; var_dump ("String" | 1);
echo '"String" . 1 = '; var_dump ("String" . 1);
echo '"String" == 1 = '; var_dump ("String" == 1);
echo '"String" === 1 = '; var_dump ("String" === 1);
echo '"String" != 1 = '; var_dump ("String" != 1);
echo '"String" <> 1 = '; var_dump ("String" <> 1);
echo '"String" !== 1 = '; var_dump ("String" !== 1);
echo '"String" <= 1 = '; var_dump ("String" <= 1);
echo '"String" >= 1 = '; var_dump ("String" >= 1);
echo '"String" && 1 = '; var_dump ("String" && 1);
echo '"String" || 1 = '; var_dump ("String" || 1);
#echo '"String" << 1 = '; var_dump ("String" << 1);
echo '"String" >> 1 = '; var_dump ("String" >> 1);
echo '"String" + 5 = '; var_dump ("String" + 5);
echo '"String" - 5 = '; var_dump ("String" - 5);
#echo '"String" / 5 = '; var_dump ("String" / 5);
echo '"String" * 5 = '; var_dump ("String" * 5);
echo '"String" % 5 = '; var_dump ("String" % 5);
echo '"String" ^ 5 = '; var_dump ("String" ^ 5);
echo '"String" & 5 = '; var_dump ("String" & 5);
echo '"String" | 5 = '; var_dump ("String" | 5);
echo '"String" . 5 = '; var_dump ("String" . 5);
echo '"String" == 5 = '; var_dump ("String" == 5);
echo '"String" === 5 = '; var_dump ("String" === 5);
echo '"String" != 5 = '; var_dump ("String" != 5);
echo '"String" <> 5 = '; var_dump ("String" <> 5);
echo '"String" !== 5 = '; var_dump ("String" !== 5);
echo '"String" <= 5 = '; var_dump ("String" <= 5);
echo '"String" >= 5 = '; var_dump ("String" >= 5);
echo '"String" && 5 = '; var_dump ("String" && 5);
echo '"String" || 5 = '; var_dump ("String" || 5);
#echo '"String" << 5 = '; var_dump ("String" << 5);
echo '"String" >> 5 = '; var_dump ("String" >> 5);
echo '"String" + -1 = '; var_dump ("String" + -1);
echo '"String" - -1 = '; var_dump ("String" - -1);
#echo '"String" / -1 = '; var_dump ("String" / -1);
echo '"String" * -1 = '; var_dump ("String" * -1);
echo '"String" % -1 = '; var_dump ("String" % -1);
echo '"String" ^ -1 = '; var_dump ("String" ^ -1);
echo '"String" & -1 = '; var_dump ("String" & -1);
echo '"String" | -1 = '; var_dump ("String" | -1);
echo '"String" . -1 = '; var_dump ("String" . -1);
echo '"String" == -1 = '; var_dump ("String" == -1);
echo '"String" === -1 = '; var_dump ("String" === -1);
echo '"String" != -1 = '; var_dump ("String" != -1);
echo '"String" <> -1 = '; var_dump ("String" <> -1);
echo '"String" !== -1 = '; var_dump ("String" !== -1);
echo '"String" <= -1 = '; var_dump ("String" <= -1);
echo '"String" >= -1 = '; var_dump ("String" >= -1);
echo '"String" && -1 = '; var_dump ("String" && -1);
echo '"String" || -1 = '; var_dump ("String" || -1);
#echo '"String" << -1 = '; var_dump ("String" << -1);
#echo '"String" >> -1 = '; var_dump ("String" >> -1);
echo '"String" + -10000 = '; var_dump ("String" + -10000);
echo '"String" - -10000 = '; var_dump ("String" - -10000);
#echo '"String" / -10000 = '; var_dump ("String" / -10000);
echo '"String" * -10000 = '; var_dump ("String" * -10000);
echo '"String" % -10000 = '; var_dump ("String" % -10000);
echo '"String" ^ -10000 = '; var_dump ("String" ^ -10000);
echo '"String" & -10000 = '; var_dump ("String" & -10000);
echo '"String" | -10000 = '; var_dump ("String" | -10000);
echo '"String" . -10000 = '; var_dump ("String" . -10000);
echo '"String" == -10000 = '; var_dump ("String" == -10000);
echo '"String" === -10000 = '; var_dump ("String" === -10000);
echo '"String" != -10000 = '; var_dump ("String" != -10000);
echo '"String" <> -10000 = '; var_dump ("String" <> -10000);
echo '"String" !== -10000 = '; var_dump ("String" !== -10000);
echo '"String" <= -10000 = '; var_dump ("String" <= -10000);
echo '"String" >= -10000 = '; var_dump ("String" >= -10000);
echo '"String" && -10000 = '; var_dump ("String" && -10000);
echo '"String" || -10000 = '; var_dump ("String" || -10000);
#echo '"String" << -10000 = '; var_dump ("String" << -10000);
#echo '"String" >> -10000 = '; var_dump ("String" >> -10000);
echo '"String" + true = '; var_dump ("String" + true);
echo '"String" - true = '; var_dump ("String" - true);
#echo '"String" / true = '; var_dump ("String" / true);
echo '"String" * true = '; var_dump ("String" * true);
echo '"String" % true = '; var_dump ("String" % true);
echo '"String" ^ true = '; var_dump ("String" ^ true);
echo '"String" & true = '; var_dump ("String" & true);
echo '"String" | true = '; var_dump ("String" | true);
echo '"String" . true = '; var_dump ("String" . true);
echo '"String" == true = '; var_dump ("String" == true);
echo '"String" === true = '; var_dump ("String" === true);
echo '"String" != true = '; var_dump ("String" != true);
echo '"String" <> true = '; var_dump ("String" <> true);
echo '"String" !== true = '; var_dump ("String" !== true);
echo '"String" <= true = '; var_dump ("String" <= true);
echo '"String" >= true = '; var_dump ("String" >= true);
echo '"String" && true = '; var_dump ("String" && true);
echo '"String" || true = '; var_dump ("String" || true);
#echo '"String" << true = '; var_dump ("String" << true);
echo '"String" >> true = '; var_dump ("String" >> true);
echo '"String" + false = '; var_dump ("String" + false);
echo '"String" - false = '; var_dump ("String" - false);
echo '"String" * false = '; var_dump ("String" * false);
echo '"String" ^ false = '; var_dump ("String" ^ false);
echo '"String" & false = '; var_dump ("String" & false);
echo '"String" | false = '; var_dump ("String" | false);
echo '"String" . false = '; var_dump ("String" . false);
echo '"String" == false = '; var_dump ("String" == false);
echo '"String" === false = '; var_dump ("String" === false);
echo '"String" != false = '; var_dump ("String" != false);
echo '"String" <> false = '; var_dump ("String" <> false);
echo '"String" !== false = '; var_dump ("String" !== false);
echo '"String" <= false = '; var_dump ("String" <= false);
echo '"String" >= false = '; var_dump ("String" >= false);
echo '"String" && false = '; var_dump ("String" && false);
echo '"String" || false = '; var_dump ("String" || false);
#echo '"String" << false = '; var_dump ("String" << false);
echo '"String" >> false = '; var_dump ("String" >> false);
echo '"String" + "String" = '; var_dump ("String" + "String");
echo '"String" - "String" = '; var_dump ("String" - "String");
echo '"String" * "String" = '; var_dump ("String" * "String");
#echo '"String" ^ "String" = '; var_dump ("String" ^ "String");
#echo '"String" & "String" = '; var_dump ("String" & "String");
#echo '"String" | "String" = '; var_dump ("String" | "String");
echo '"String" . "String" = '; var_dump ("String" . "String");
echo '"String" == "String" = '; var_dump ("String" == "String");
echo '"String" === "String" = '; var_dump ("String" === "String");
echo '"String" != "String" = '; var_dump ("String" != "String");
echo '"String" <> "String" = '; var_dump ("String" <> "String");
echo '"String" !== "String" = '; var_dump ("String" !== "String");
echo '"String" <= "String" = '; var_dump ("String" <= "String");
echo '"String" >= "String" = '; var_dump ("String" >= "String");
echo '"String" && "String" = '; var_dump ("String" && "String");
echo '"String" || "String" = '; var_dump ("String" || "String");
#echo '"String" << "String" = '; var_dump ("String" << "String");
echo '"String" >> "String" = '; var_dump ("String" >> "String");
echo '"String" + "num3" = '; var_dump ("String" + "num3");
echo '"String" - "num3" = '; var_dump ("String" - "num3");
echo '"String" * "num3" = '; var_dump ("String" * "num3");
#echo '"String" ^ "num3" = '; var_dump ("String" ^ "num3");
#echo '"String" & "num3" = '; var_dump ("String" & "num3");
#echo '"String" | "num3" = '; var_dump ("String" | "num3");
echo '"String" . "num3" = '; var_dump ("String" . "num3");
echo '"String" == "num3" = '; var_dump ("String" == "num3");
echo '"String" === "num3" = '; var_dump ("String" === "num3");
echo '"String" != "num3" = '; var_dump ("String" != "num3");
echo '"String" <> "num3" = '; var_dump ("String" <> "num3");
echo '"String" !== "num3" = '; var_dump ("String" !== "num3");
echo '"String" <= "num3" = '; var_dump ("String" <= "num3");
echo '"String" >= "num3" = '; var_dump ("String" >= "num3");
echo '"String" && "num3" = '; var_dump ("String" && "num3");
echo '"String" || "num3" = '; var_dump ("String" || "num3");
#echo '"String" << "num3" = '; var_dump ("String" << "num3");
echo '"String" >> "num3" = '; var_dump ("String" >> "num3");
echo '"String" + "3" = '; var_dump ("String" + "3");
echo '"String" - "3" = '; var_dump ("String" - "3");
#echo '"String" / "3" = '; var_dump ("String" / "3");
echo '"String" * "3" = '; var_dump ("String" * "3");
echo '"String" % "3" = '; var_dump ("String" % "3");
#echo '"String" ^ "3" = '; var_dump ("String" ^ "3");
#echo '"String" & "3" = '; var_dump ("String" & "3");
#echo '"String" | "3" = '; var_dump ("String" | "3");
echo '"String" . "3" = '; var_dump ("String" . "3");
echo '"String" == "3" = '; var_dump ("String" == "3");
echo '"String" === "3" = '; var_dump ("String" === "3");
echo '"String" != "3" = '; var_dump ("String" != "3");
echo '"String" <> "3" = '; var_dump ("String" <> "3");
echo '"String" !== "3" = '; var_dump ("String" !== "3");
echo '"String" <= "3" = '; var_dump ("String" <= "3");
echo '"String" >= "3" = '; var_dump ("String" >= "3");
echo '"String" && "3" = '; var_dump ("String" && "3");
echo '"String" || "3" = '; var_dump ("String" || "3");
#echo '"String" << "3" = '; var_dump ("String" << "3");
echo '"String" >> "3" = '; var_dump ("String" >> "3");
echo '"String" + 6.702 = '; var_dump ("String" + 6.702);
echo '"String" - 6.702 = '; var_dump ("String" - 6.702);
#echo '"String" / 6.702 = '; var_dump ("String" / 6.702);
echo '"String" * 6.702 = '; var_dump ("String" * 6.702);
echo '"String" % 6.702 = '; @var_dump ("String" % 6.702);
echo '"String" ^ 6.702 = '; var_dump ("String" ^ 6.702);
echo '"String" & 6.702 = '; var_dump ("String" & 6.702);
echo '"String" | 6.702 = '; var_dump ("String" | 6.702);
echo '"String" . 6.702 = '; var_dump ("String" . 6.702);
echo '"String" == 6.702 = '; var_dump ("String" == 6.702);
echo '"String" === 6.702 = '; var_dump ("String" === 6.702);
echo '"String" != 6.702 = '; var_dump ("String" != 6.702);
echo '"String" <> 6.702 = '; var_dump ("String" <> 6.702);
echo '"String" !== 6.702 = '; var_dump ("String" !== 6.702);
echo '"String" <= 6.702 = '; var_dump ("String" <= 6.702);
echo '"String" >= 6.702 = '; var_dump ("String" >= 6.702);
echo '"String" && 6.702 = '; var_dump ("String" && 6.702);
echo '"String" || 6.702 = '; var_dump ("String" || 6.702);
#echo '"String" << 6.702 = '; var_dump ("String" << 6.702);
#echo '"String" >> 6.702 = '; var_dump ("String" >> 6.702);
echo '"String" + 40.4e3 = '; var_dump ("String" + 40.4e3);
echo '"String" - 40.4e3 = '; var_dump ("String" - 40.4e3);
#echo '"String" / 40.4e3 = '; var_dump ("String" / 40.4e3);
echo '"String" * 40.4e3 = '; var_dump ("String" * 40.4e3);
echo '"String" % 40.4e3 = '; var_dump ("String" % 40.4e3);
echo '"String" ^ 40.4e3 = '; var_dump ("String" ^ 40.4e3);
echo '"String" & 40.4e3 = '; var_dump ("String" & 40.4e3);
echo '"String" | 40.4e3 = '; var_dump ("String" | 40.4e3);
echo '"String" . 40.4e3 = '; var_dump ("String" . 40.4e3);
echo '"String" == 40.4e3 = '; var_dump ("String" == 40.4e3);
echo '"String" === 40.4e3 = '; var_dump ("String" === 40.4e3);
echo '"String" != 40.4e3 = '; var_dump ("String" != 40.4e3);
echo '"String" <> 40.4e3 = '; var_dump ("String" <> 40.4e3);
echo '"String" !== 40.4e3 = '; var_dump ("String" !== 40.4e3);
echo '"String" <= 40.4e3 = '; var_dump ("String" <= 40.4e3);
echo '"String" >= 40.4e3 = '; var_dump ("String" >= 40.4e3);
echo '"String" && 40.4e3 = '; var_dump ("String" && 40.4e3);
echo '"String" || 40.4e3 = '; var_dump ("String" || 40.4e3);
#echo '"String" << 40.4e3 = '; var_dump ("String" << 40.4e3);
#echo '"String" >> 40.4e3 = '; var_dump ("String" >> 40.4e3);
echo '"String" + 0x786F = '; var_dump ("String" + 0x786F);
echo '"String" - 0x786F = '; var_dump ("String" - 0x786F);
#echo '"String" / 0x786F = '; var_dump ("String" / 0x786F);
echo '"String" * 0x786F = '; var_dump ("String" * 0x786F);
echo '"String" % 0x786F = '; var_dump ("String" % 0x786F);
echo '"String" ^ 0x786F = '; var_dump ("String" ^ 0x786F);
echo '"String" & 0x786F = '; var_dump ("String" & 0x786F);
echo '"String" | 0x786F = '; var_dump ("String" | 0x786F);
echo '"String" . 0x786F = '; var_dump ("String" . 0x786F);
echo '"String" == 0x786F = '; var_dump ("String" == 0x786F);
echo '"String" === 0x786F = '; var_dump ("String" === 0x786F);
echo '"String" != 0x786F = '; var_dump ("String" != 0x786F);
echo '"String" <> 0x786F = '; var_dump ("String" <> 0x786F);
echo '"String" !== 0x786F = '; var_dump ("String" !== 0x786F);
echo '"String" <= 0x786F = '; var_dump ("String" <= 0x786F);
echo '"String" >= 0x786F = '; var_dump ("String" >= 0x786F);
echo '"String" && 0x786F = '; var_dump ("String" && 0x786F);
echo '"String" || 0x786F = '; var_dump ("String" || 0x786F);
#echo '"String" << 0x786F = '; var_dump ("String" << 0x786F);
echo '"String" >> 0xF = '; var_dump ("String" >> 0xF);
#echo '~ "String" = '; var_dump (~ "String");
#echo '! "String" = '; var_dump (! "String");
}

string_folding();

function string_num3_folding() {
echo '"num3" + 0 = '; var_dump ("num3" + 0);
echo '"num3" - 0 = '; var_dump ("num3" - 0);
echo '"num3" * 0 = '; var_dump ("num3" * 0);
echo '"num3" ^ 0 = '; var_dump ("num3" ^ 0);
echo '"num3" & 0 = '; var_dump ("num3" & 0);
echo '"num3" | 0 = '; var_dump ("num3" | 0);
echo '"num3" . 0 = '; var_dump ("num3" . 0);
echo '"num3" == 0 = '; var_dump ("num3" == 0);
echo '"num3" === 0 = '; var_dump ("num3" === 0);
echo '"num3" != 0 = '; var_dump ("num3" != 0);
echo '"num3" <> 0 = '; var_dump ("num3" <> 0);
echo '"num3" !== 0 = '; var_dump ("num3" !== 0);
echo '"num3" <= 0 = '; var_dump ("num3" <= 0);
echo '"num3" >= 0 = '; var_dump ("num3" >= 0);
echo '"num3" && 0 = '; var_dump ("num3" && 0);
echo '"num3" || 0 = '; var_dump ("num3" || 0);
#echo '"num3" << 0 = '; var_dump ("num3" << 0);
echo '"num3" >> 0 = '; var_dump ("num3" >> 0);
echo '"num3" + 1 = '; var_dump ("num3" + 1);
echo '"num3" - 1 = '; var_dump ("num3" - 1);
#echo '"num3" / 1 = '; var_dump ("num3" / 1);
echo '"num3" * 1 = '; var_dump ("num3" * 1);
echo '"num3" % 1 = '; var_dump ("num3" % 1);
echo '"num3" ^ 1 = '; var_dump ("num3" ^ 1);
echo '"num3" & 1 = '; var_dump ("num3" & 1);
echo '"num3" | 1 = '; var_dump ("num3" | 1);
echo '"num3" . 1 = '; var_dump ("num3" . 1);
echo '"num3" == 1 = '; var_dump ("num3" == 1);
echo '"num3" === 1 = '; var_dump ("num3" === 1);
echo '"num3" != 1 = '; var_dump ("num3" != 1);
echo '"num3" <> 1 = '; var_dump ("num3" <> 1);
echo '"num3" !== 1 = '; var_dump ("num3" !== 1);
echo '"num3" <= 1 = '; var_dump ("num3" <= 1);
echo '"num3" >= 1 = '; var_dump ("num3" >= 1);
echo '"num3" && 1 = '; var_dump ("num3" && 1);
echo '"num3" || 1 = '; var_dump ("num3" || 1);
#echo '"num3" << 1 = '; var_dump ("num3" << 1);
echo '"num3" >> 1 = '; var_dump ("num3" >> 1);
echo '"num3" + 5 = '; var_dump ("num3" + 5);
echo '"num3" - 5 = '; var_dump ("num3" - 5);
#echo '"num3" / 5 = '; var_dump ("num3" / 5);
echo '"num3" * 5 = '; var_dump ("num3" * 5);
echo '"num3" % 5 = '; var_dump ("num3" % 5);
echo '"num3" ^ 5 = '; var_dump ("num3" ^ 5);
echo '"num3" & 5 = '; var_dump ("num3" & 5);
echo '"num3" | 5 = '; var_dump ("num3" | 5);
echo '"num3" . 5 = '; var_dump ("num3" . 5);
echo '"num3" == 5 = '; var_dump ("num3" == 5);
echo '"num3" === 5 = '; var_dump ("num3" === 5);
echo '"num3" != 5 = '; var_dump ("num3" != 5);
echo '"num3" <> 5 = '; var_dump ("num3" <> 5);
echo '"num3" !== 5 = '; var_dump ("num3" !== 5);
echo '"num3" <= 5 = '; var_dump ("num3" <= 5);
echo '"num3" >= 5 = '; var_dump ("num3" >= 5);
echo '"num3" && 5 = '; var_dump ("num3" && 5);
echo '"num3" || 5 = '; var_dump ("num3" || 5);
#echo '"num3" << 5 = '; var_dump ("num3" << 5);
echo '"num3" >> 5 = '; var_dump ("num3" >> 5);
echo '"num3" + -1 = '; var_dump ("num3" + -1);
echo '"num3" - -1 = '; var_dump ("num3" - -1);
#echo '"num3" / -1 = '; var_dump ("num3" / -1);
echo '"num3" * -1 = '; var_dump ("num3" * -1);
echo '"num3" % -1 = '; var_dump ("num3" % -1);
echo '"num3" ^ -1 = '; var_dump ("num3" ^ -1);
echo '"num3" & -1 = '; var_dump ("num3" & -1);
echo '"num3" | -1 = '; var_dump ("num3" | -1);
echo '"num3" . -1 = '; var_dump ("num3" . -1);
echo '"num3" == -1 = '; var_dump ("num3" == -1);
echo '"num3" === -1 = '; var_dump ("num3" === -1);
echo '"num3" != -1 = '; var_dump ("num3" != -1);
echo '"num3" <> -1 = '; var_dump ("num3" <> -1);
echo '"num3" !== -1 = '; var_dump ("num3" !== -1);
echo '"num3" <= -1 = '; var_dump ("num3" <= -1);
echo '"num3" >= -1 = '; var_dump ("num3" >= -1);
echo '"num3" && -1 = '; var_dump ("num3" && -1);
echo '"num3" || -1 = '; var_dump ("num3" || -1);
#echo '"num3" << -1 = '; var_dump ("num3" << -1);
#echo '"num3" >> -1 = '; var_dump ("num3" >> -1);
echo '"num3" + -10000 = '; var_dump ("num3" + -10000);
echo '"num3" - -10000 = '; var_dump ("num3" - -10000);
#echo '"num3" / -10000 = '; var_dump ("num3" / -10000);
echo '"num3" * -10000 = '; var_dump ("num3" * -10000);
echo '"num3" % -10000 = '; var_dump ("num3" % -10000);
echo '"num3" ^ -10000 = '; var_dump ("num3" ^ -10000);
echo '"num3" & -10000 = '; var_dump ("num3" & -10000);
echo '"num3" | -10000 = '; var_dump ("num3" | -10000);
echo '"num3" . -10000 = '; var_dump ("num3" . -10000);
echo '"num3" == -10000 = '; var_dump ("num3" == -10000);
echo '"num3" === -10000 = '; var_dump ("num3" === -10000);
echo '"num3" != -10000 = '; var_dump ("num3" != -10000);
echo '"num3" <> -10000 = '; var_dump ("num3" <> -10000);
echo '"num3" !== -10000 = '; var_dump ("num3" !== -10000);
echo '"num3" <= -10000 = '; var_dump ("num3" <= -10000);
echo '"num3" >= -10000 = '; var_dump ("num3" >= -10000);
echo '"num3" && -10000 = '; var_dump ("num3" && -10000);
echo '"num3" || -10000 = '; var_dump ("num3" || -10000);
#echo '"num3" << -10000 = '; var_dump ("num3" << -10000);
#echo '"num3" >> -10000 = '; var_dump ("num3" >> -10000);
echo '"num3" + true = '; var_dump ("num3" + true);
echo '"num3" - true = '; var_dump ("num3" - true);
#echo '"num3" / true = '; var_dump ("num3" / true);
echo '"num3" * true = '; var_dump ("num3" * true);
echo '"num3" % true = '; var_dump ("num3" % true);
echo '"num3" ^ true = '; var_dump ("num3" ^ true);
echo '"num3" & true = '; var_dump ("num3" & true);
echo '"num3" | true = '; var_dump ("num3" | true);
echo '"num3" . true = '; var_dump ("num3" . true);
echo '"num3" == true = '; var_dump ("num3" == true);
echo '"num3" === true = '; var_dump ("num3" === true);
echo '"num3" != true = '; var_dump ("num3" != true);
echo '"num3" <> true = '; var_dump ("num3" <> true);
echo '"num3" !== true = '; var_dump ("num3" !== true);
echo '"num3" <= true = '; var_dump ("num3" <= true);
echo '"num3" >= true = '; var_dump ("num3" >= true);
echo '"num3" && true = '; var_dump ("num3" && true);
echo '"num3" || true = '; var_dump ("num3" || true);
#echo '"num3" << true = '; var_dump ("num3" << true);
echo '"num3" >> true = '; var_dump ("num3" >> true);
echo '"num3" + false = '; var_dump ("num3" + false);
echo '"num3" - false = '; var_dump ("num3" - false);
echo '"num3" * false = '; var_dump ("num3" * false);
echo '"num3" ^ false = '; var_dump ("num3" ^ false);
echo '"num3" & false = '; var_dump ("num3" & false);
echo '"num3" | false = '; var_dump ("num3" | false);
echo '"num3" . false = '; var_dump ("num3" . false);
echo '"num3" == false = '; var_dump ("num3" == false);
echo '"num3" === false = '; var_dump ("num3" === false);
echo '"num3" != false = '; var_dump ("num3" != false);
echo '"num3" <> false = '; var_dump ("num3" <> false);
echo '"num3" !== false = '; var_dump ("num3" !== false);
echo '"num3" <= false = '; var_dump ("num3" <= false);
echo '"num3" >= false = '; var_dump ("num3" >= false);
echo '"num3" && false = '; var_dump ("num3" && false);
echo '"num3" || false = '; var_dump ("num3" || false);
#echo '"num3" << false = '; var_dump ("num3" << false);
echo '"num3" >> false = '; var_dump ("num3" >> false);
echo '"num3" + "String" = '; var_dump ("num3" + "String");
echo '"num3" - "String" = '; var_dump ("num3" - "String");
echo '"num3" * "String" = '; var_dump ("num3" * "String");
#echo '"num3" ^ "String" = '; var_dump ("num3" ^ "String");
#echo '"num3" & "String" = '; var_dump ("num3" & "String");
#echo '"num3" | "String" = '; var_dump ("num3" | "String");
echo '"num3" . "String" = '; var_dump ("num3" . "String");
echo '"num3" == "String" = '; var_dump ("num3" == "String");
echo '"num3" === "String" = '; var_dump ("num3" === "String");
echo '"num3" != "String" = '; var_dump ("num3" != "String");
echo '"num3" <> "String" = '; var_dump ("num3" <> "String");
echo '"num3" !== "String" = '; var_dump ("num3" !== "String");
echo '"num3" <= "String" = '; var_dump ("num3" <= "String");
echo '"num3" >= "String" = '; var_dump ("num3" >= "String");
echo '"num3" && "String" = '; var_dump ("num3" && "String");
echo '"num3" || "String" = '; var_dump ("num3" || "String");
#echo '"num3" << "String" = '; var_dump ("num3" << "String");
echo '"num3" >> "String" = '; var_dump ("num3" >> "String");
echo '"num3" + "num3" = '; var_dump ("num3" + "num3");
echo '"num3" - "num3" = '; var_dump ("num3" - "num3");
echo '"num3" * "num3" = '; var_dump ("num3" * "num3");
#echo '"num3" ^ "num3" = '; var_dump ("num3" ^ "num3");
#echo '"num3" & "num3" = '; var_dump ("num3" & "num3");
#echo '"num3" | "num3" = '; var_dump ("num3" | "num3");
echo '"num3" . "num3" = '; var_dump ("num3" . "num3");
echo '"num3" == "num3" = '; var_dump ("num3" == "num3");
echo '"num3" === "num3" = '; var_dump ("num3" === "num3");
echo '"num3" != "num3" = '; var_dump ("num3" != "num3");
echo '"num3" <> "num3" = '; var_dump ("num3" <> "num3");
echo '"num3" !== "num3" = '; var_dump ("num3" !== "num3");
echo '"num3" <= "num3" = '; var_dump ("num3" <= "num3");
echo '"num3" >= "num3" = '; var_dump ("num3" >= "num3");
echo '"num3" && "num3" = '; var_dump ("num3" && "num3");
echo '"num3" || "num3" = '; var_dump ("num3" || "num3");
#echo '"num3" << "num3" = '; var_dump ("num3" << "num3");
echo '"num3" >> "num3" = '; var_dump ("num3" >> "num3");
echo '"num3" + "3" = '; var_dump ("num3" + "3");
echo '"num3" - "3" = '; var_dump ("num3" - "3");
#echo '"num3" / "3" = '; var_dump ("num3" / "3");
echo '"num3" * "3" = '; var_dump ("num3" * "3");
echo '"num3" % "3" = '; var_dump ("num3" % "3");
#echo '"num3" ^ "3" = '; var_dump ("num3" ^ "3");
#echo '"num3" & "3" = '; var_dump ("num3" & "3");
#echo '"num3" | "3" = '; var_dump ("num3" | "3");
echo '"num3" . "3" = '; var_dump ("num3" . "3");
echo '"num3" == "3" = '; var_dump ("num3" == "3");
echo '"num3" === "3" = '; var_dump ("num3" === "3");
echo '"num3" != "3" = '; var_dump ("num3" != "3");
echo '"num3" <> "3" = '; var_dump ("num3" <> "3");
echo '"num3" !== "3" = '; var_dump ("num3" !== "3");
echo '"num3" <= "3" = '; var_dump ("num3" <= "3");
echo '"num3" >= "3" = '; var_dump ("num3" >= "3");
echo '"num3" && "3" = '; var_dump ("num3" && "3");
echo '"num3" || "3" = '; var_dump ("num3" || "3");
#echo '"num3" << "3" = '; var_dump ("num3" << "3");
echo '"num3" >> "3" = '; var_dump ("num3" >> "3");
echo '"num3" + 6.702 = '; var_dump ("num3" + 6.702);
echo '"num3" - 6.702 = '; var_dump ("num3" - 6.702);
#echo '"num3" / 6.702 = '; var_dump ("num3" / 6.702);
echo '"num3" * 6.702 = '; var_dump ("num3" * 6.702);
echo '"num3" % 6.702 = '; @var_dump ("num3" % 6.702);
echo '"num3" ^ 6.702 = '; var_dump ("num3" ^ 6.702);
echo '"num3" & 6.702 = '; var_dump ("num3" & 6.702);
echo '"num3" | 6.702 = '; var_dump ("num3" | 6.702);
echo '"num3" . 6.702 = '; var_dump ("num3" . 6.702);
echo '"num3" == 6.702 = '; var_dump ("num3" == 6.702);
echo '"num3" === 6.702 = '; var_dump ("num3" === 6.702);
echo '"num3" != 6.702 = '; var_dump ("num3" != 6.702);
echo '"num3" <> 6.702 = '; var_dump ("num3" <> 6.702);
echo '"num3" !== 6.702 = '; var_dump ("num3" !== 6.702);
echo '"num3" <= 6.702 = '; var_dump ("num3" <= 6.702);
echo '"num3" >= 6.702 = '; var_dump ("num3" >= 6.702);
echo '"num3" && 6.702 = '; var_dump ("num3" && 6.702);
echo '"num3" || 6.702 = '; var_dump ("num3" || 6.702);
#echo '"num3" << 6.702 = '; var_dump ("num3" << 6.702);
#echo '"num3" >> 6.702 = '; var_dump ("num3" >> 6.702);
echo '"num3" + 40.4e3 = '; var_dump ("num3" + 40.4e3);
echo '"num3" - 40.4e3 = '; var_dump ("num3" - 40.4e3);
#echo '"num3" / 40.4e3 = '; var_dump ("num3" / 40.4e3);
echo '"num3" * 40.4e3 = '; var_dump ("num3" * 40.4e3);
echo '"num3" % 40.4e3 = '; var_dump ("num3" % 40.4e3);
echo '"num3" ^ 40.4e3 = '; var_dump ("num3" ^ 40.4e3);
echo '"num3" & 40.4e3 = '; var_dump ("num3" & 40.4e3);
echo '"num3" | 40.4e3 = '; var_dump ("num3" | 40.4e3);
echo '"num3" . 40.4e3 = '; var_dump ("num3" . 40.4e3);
echo '"num3" == 40.4e3 = '; var_dump ("num3" == 40.4e3);
echo '"num3" === 40.4e3 = '; var_dump ("num3" === 40.4e3);
echo '"num3" != 40.4e3 = '; var_dump ("num3" != 40.4e3);
echo '"num3" <> 40.4e3 = '; var_dump ("num3" <> 40.4e3);
echo '"num3" !== 40.4e3 = '; var_dump ("num3" !== 40.4e3);
echo '"num3" <= 40.4e3 = '; var_dump ("num3" <= 40.4e3);
echo '"num3" >= 40.4e3 = '; var_dump ("num3" >= 40.4e3);
echo '"num3" && 40.4e3 = '; var_dump ("num3" && 40.4e3);
echo '"num3" || 40.4e3 = '; var_dump ("num3" || 40.4e3);
#echo '"num3" << 40.4e3 = '; var_dump ("num3" << 40.4e3);
#echo '"num3" >> 40.4e3 = '; var_dump ("num3" >> 40.4e3);
echo '"num3" + 0x786F = '; var_dump ("num3" + 0x786F);
echo '"num3" - 0x786F = '; var_dump ("num3" - 0x786F);
#echo '"num3" / 0x786F = '; var_dump ("num3" / 0x786F);
echo '"num3" * 0x786F = '; var_dump ("num3" * 0x786F);
echo '"num3" % 0x786F = '; var_dump ("num3" % 0x786F);
echo '"num3" ^ 0x786F = '; var_dump ("num3" ^ 0x786F);
echo '"num3" & 0x786F = '; var_dump ("num3" & 0x786F);
echo '"num3" | 0x786F = '; var_dump ("num3" | 0x786F);
echo '"num3" . 0x786F = '; var_dump ("num3" . 0x786F);
echo '"num3" == 0x786F = '; var_dump ("num3" == 0x786F);
echo '"num3" === 0x786F = '; var_dump ("num3" === 0x786F);
echo '"num3" != 0x786F = '; var_dump ("num3" != 0x786F);
echo '"num3" <> 0x786F = '; var_dump ("num3" <> 0x786F);
echo '"num3" !== 0x786F = '; var_dump ("num3" !== 0x786F);
echo '"num3" <= 0x786F = '; var_dump ("num3" <= 0x786F);
echo '"num3" >= 0x786F = '; var_dump ("num3" >= 0x786F);
echo '"num3" && 0x786F = '; var_dump ("num3" && 0x786F);
echo '"num3" || 0x786F = '; var_dump ("num3" || 0x786F);
#echo '"num3" << 0x786F = '; var_dump ("num3" << 0x786F);
echo '"num3" >> 0xF = '; var_dump ("num3" >> 0xF);
#echo '~ "num3" = '; var_dump (~ "num3");
#echo '! "num3" = '; var_dump (! "num3");
}

string_num3_folding();

function string_3_folding() {
echo '"3" + 0 = '; var_dump ("3" + 0);
echo '"3" - 0 = '; var_dump ("3" - 0);
echo '"3" * 0 = '; var_dump ("3" * 0);
echo '"3" ^ 0 = '; var_dump ("3" ^ 0);
echo '"3" & 0 = '; var_dump ("3" & 0);
echo '"3" | 0 = '; var_dump ("3" | 0);
echo '"3" . 0 = '; var_dump ("3" . 0);
echo '"3" == 0 = '; var_dump ("3" == 0);
echo '"3" === 0 = '; var_dump ("3" === 0);
echo '"3" != 0 = '; var_dump ("3" != 0);
echo '"3" <> 0 = '; var_dump ("3" <> 0);
echo '"3" !== 0 = '; var_dump ("3" !== 0);
echo '"3" <= 0 = '; var_dump ("3" <= 0);
echo '"3" >= 0 = '; var_dump ("3" >= 0);
echo '"3" && 0 = '; var_dump ("3" && 0);
echo '"3" || 0 = '; var_dump ("3" || 0);
#echo '"3" << 0 = '; var_dump ("3" << 0);
echo '"3" >> 0 = '; var_dump ("3" >> 0);
echo '"3" + 1 = '; var_dump ("3" + 1);
echo '"3" - 1 = '; var_dump ("3" - 1);
#echo '"3" / 1 = '; var_dump ("3" / 1);
echo '"3" * 1 = '; var_dump ("3" * 1);
echo '"3" % 1 = '; var_dump ("3" % 1);
echo '"3" ^ 1 = '; var_dump ("3" ^ 1);
echo '"3" & 1 = '; var_dump ("3" & 1);
echo '"3" | 1 = '; var_dump ("3" | 1);
echo '"3" . 1 = '; var_dump ("3" . 1);
echo '"3" == 1 = '; var_dump ("3" == 1);
echo '"3" === 1 = '; var_dump ("3" === 1);
echo '"3" != 1 = '; var_dump ("3" != 1);
echo '"3" <> 1 = '; var_dump ("3" <> 1);
echo '"3" !== 1 = '; var_dump ("3" !== 1);
echo '"3" <= 1 = '; var_dump ("3" <= 1);
echo '"3" >= 1 = '; var_dump ("3" >= 1);
echo '"3" && 1 = '; var_dump ("3" && 1);
echo '"3" || 1 = '; var_dump ("3" || 1);
#echo '"3" << 1 = '; var_dump ("3" << 1);
echo '"3" >> 1 = '; var_dump ("3" >> 1);
echo '"3" + 5 = '; var_dump ("3" + 5);
echo '"3" - 5 = '; var_dump ("3" - 5);
#echo '"3" / 5 = '; var_dump ("3" / 5);
echo '"3" * 5 = '; var_dump ("3" * 5);
echo '"3" % 5 = '; var_dump ("3" % 5);
echo '"3" ^ 5 = '; var_dump ("3" ^ 5);
echo '"3" & 5 = '; var_dump ("3" & 5);
echo '"3" | 5 = '; var_dump ("3" | 5);
echo '"3" . 5 = '; var_dump ("3" . 5);
echo '"3" == 5 = '; var_dump ("3" == 5);
echo '"3" === 5 = '; var_dump ("3" === 5);
echo '"3" != 5 = '; var_dump ("3" != 5);
echo '"3" <> 5 = '; var_dump ("3" <> 5);
echo '"3" !== 5 = '; var_dump ("3" !== 5);
echo '"3" <= 5 = '; var_dump ("3" <= 5);
echo '"3" >= 5 = '; var_dump ("3" >= 5);
echo '"3" && 5 = '; var_dump ("3" && 5);
echo '"3" || 5 = '; var_dump ("3" || 5);
#echo '"3" << 5 = '; var_dump ("3" << 5);
echo '"3" >> 5 = '; var_dump ("3" >> 5);
echo '"3" + -1 = '; var_dump ("3" + -1);
echo '"3" - -1 = '; var_dump ("3" - -1);
#echo '"3" / -1 = '; var_dump ("3" / -1);
echo '"3" * -1 = '; var_dump ("3" * -1);
echo '"3" % -1 = '; var_dump ("3" % -1);
echo '"3" ^ -1 = '; var_dump ("3" ^ -1);
echo '"3" & -1 = '; var_dump ("3" & -1);
echo '"3" | -1 = '; var_dump ("3" | -1);
echo '"3" . -1 = '; var_dump ("3" . -1);
echo '"3" == -1 = '; var_dump ("3" == -1);
echo '"3" === -1 = '; var_dump ("3" === -1);
echo '"3" != -1 = '; var_dump ("3" != -1);
echo '"3" <> -1 = '; var_dump ("3" <> -1);
echo '"3" !== -1 = '; var_dump ("3" !== -1);
echo '"3" <= -1 = '; var_dump ("3" <= -1);
echo '"3" >= -1 = '; var_dump ("3" >= -1);
echo '"3" && -1 = '; var_dump ("3" && -1);
echo '"3" || -1 = '; var_dump ("3" || -1);
#echo '"3" << -1 = '; var_dump ("3" << -1);
#echo '"3" >> -1 = '; var_dump ("3" >> -1);
echo '"3" + -10000 = '; var_dump ("3" + -10000);
echo '"3" - -10000 = '; var_dump ("3" - -10000);
#echo '"3" / -10000 = '; var_dump ("3" / -10000);
echo '"3" * -10000 = '; var_dump ("3" * -10000);
echo '"3" % -10000 = '; var_dump ("3" % -10000);
echo '"3" ^ -10000 = '; var_dump ("3" ^ -10000);
echo '"3" & -10000 = '; var_dump ("3" & -10000);
echo '"3" | -10000 = '; var_dump ("3" | -10000);
echo '"3" . -10000 = '; var_dump ("3" . -10000);
echo '"3" == -10000 = '; var_dump ("3" == -10000);
echo '"3" === -10000 = '; var_dump ("3" === -10000);
echo '"3" != -10000 = '; var_dump ("3" != -10000);
echo '"3" <> -10000 = '; var_dump ("3" <> -10000);
echo '"3" !== -10000 = '; var_dump ("3" !== -10000);
echo '"3" <= -10000 = '; var_dump ("3" <= -10000);
echo '"3" >= -10000 = '; var_dump ("3" >= -10000);
echo '"3" && -10000 = '; var_dump ("3" && -10000);
echo '"3" || -10000 = '; var_dump ("3" || -10000);
#echo '"3" << -10000 = '; var_dump ("3" << -10000);
#echo '"3" >> -10000 = '; var_dump ("3" >> -10000);
echo '"3" + true = '; var_dump ("3" + true);
echo '"3" - true = '; var_dump ("3" - true);
#echo '"3" / true = '; var_dump ("3" / true);
echo '"3" * true = '; var_dump ("3" * true);
echo '"3" % true = '; var_dump ("3" % true);
echo '"3" ^ true = '; var_dump ("3" ^ true);
echo '"3" & true = '; var_dump ("3" & true);
echo '"3" | true = '; var_dump ("3" | true);
echo '"3" . true = '; var_dump ("3" . true);
echo '"3" == true = '; var_dump ("3" == true);
echo '"3" === true = '; var_dump ("3" === true);
echo '"3" != true = '; var_dump ("3" != true);
echo '"3" <> true = '; var_dump ("3" <> true);
echo '"3" !== true = '; var_dump ("3" !== true);
echo '"3" <= true = '; var_dump ("3" <= true);
echo '"3" >= true = '; var_dump ("3" >= true);
echo '"3" && true = '; var_dump ("3" && true);
echo '"3" || true = '; var_dump ("3" || true);
#echo '"3" << true = '; var_dump ("3" << true);
echo '"3" >> true = '; var_dump ("3" >> true);
echo '"3" + false = '; var_dump ("3" + false);
echo '"3" - false = '; var_dump ("3" - false);
echo '"3" * false = '; var_dump ("3" * false);
echo '"3" ^ false = '; var_dump ("3" ^ false);
#echo '"3" & false = '; var_dump ("3" & false);
#echo '"3" | false = '; var_dump ("3" | false);
echo '"3" . false = '; var_dump ("3" . false);
echo '"3" == false = '; var_dump ("3" == false);
echo '"3" === false = '; var_dump ("3" === false);
echo '"3" != false = '; var_dump ("3" != false);
echo '"3" <> false = '; var_dump ("3" <> false);
echo '"3" !== false = '; var_dump ("3" !== false);
echo '"3" <= false = '; var_dump ("3" <= false);
echo '"3" >= false = '; var_dump ("3" >= false);
echo '"3" && false = '; var_dump ("3" && false);
echo '"3" || false = '; var_dump ("3" || false);
#echo '"3" << false = '; var_dump ("3" << false);
echo '"3" >> false = '; var_dump ("3" >> false);
echo '"3" + "String" = '; var_dump ("3" + "String");
echo '"3" - "String" = '; var_dump ("3" - "String");
echo '"3" * "String" = '; var_dump ("3" * "String");
#echo '"3" ^ "String" = '; var_dump ("3" ^ "String");
#echo '"3" & "String" = '; var_dump ("3" & "String");
#echo '"3" | "String" = '; var_dump ("3" | "String");
echo '"3" . "String" = '; var_dump ("3" . "String");
echo '"3" == "String" = '; var_dump ("3" == "String");
echo '"3" === "String" = '; var_dump ("3" === "String");
echo '"3" != "String" = '; var_dump ("3" != "String");
echo '"3" <> "String" = '; var_dump ("3" <> "String");
echo '"3" !== "String" = '; var_dump ("3" !== "String");
echo '"3" <= "String" = '; var_dump ("3" <= "String");
echo '"3" >= "String" = '; var_dump ("3" >= "String");
echo '"3" && "String" = '; var_dump ("3" && "String");
echo '"3" || "String" = '; var_dump ("3" || "String");
#echo '"3" << "String" = '; var_dump ("3" << "String");
echo '"3" >> "String" = '; var_dump ("3" >> "String");
echo '"3" + "num3" = '; var_dump ("3" + "num3");
echo '"3" - "num3" = '; var_dump ("3" - "num3");
echo '"3" * "num3" = '; var_dump ("3" * "num3");
#echo '"3" ^ "num3" = '; var_dump ("3" ^ "num3");
#echo '"3" & "num3" = '; var_dump ("3" & "num3");
#echo '"3" | "num3" = '; var_dump ("3" | "num3");
echo '"3" . "num3" = '; var_dump ("3" . "num3");
echo '"3" == "num3" = '; var_dump ("3" == "num3");
echo '"3" === "num3" = '; var_dump ("3" === "num3");
echo '"3" != "num3" = '; var_dump ("3" != "num3");
echo '"3" <> "num3" = '; var_dump ("3" <> "num3");
echo '"3" !== "num3" = '; var_dump ("3" !== "num3");
echo '"3" <= "num3" = '; var_dump ("3" <= "num3");
echo '"3" >= "num3" = '; var_dump ("3" >= "num3");
echo '"3" && "num3" = '; var_dump ("3" && "num3");
echo '"3" || "num3" = '; var_dump ("3" || "num3");
#echo '"3" << "num3" = '; var_dump ("3" << "num3");
echo '"3" >> "num3" = '; var_dump ("3" >> "num3");
echo '"3" + "3" = '; var_dump ("3" + "3");
echo '"3" - "3" = '; var_dump ("3" - "3");
#echo '"3" / "3" = '; var_dump ("3" / "3");
echo '"3" * "3" = '; var_dump ("3" * "3");
echo '"3" % "3" = '; var_dump ("3" % "3");
#echo '"3" ^ "3" = '; var_dump ("3" ^ "3");
#echo '"3" & "3" = '; var_dump ("3" & "3");
#echo '"3" | "3" = '; var_dump ("3" | "3");
echo '"3" . "3" = '; var_dump ("3" . "3");
echo '"3" == "3" = '; var_dump ("3" == "3");
echo '"3" === "3" = '; var_dump ("3" === "3");
echo '"3" != "3" = '; var_dump ("3" != "3");
echo '"3" <> "3" = '; var_dump ("3" <> "3");
echo '"3" !== "3" = '; var_dump ("3" !== "3");
echo '"3" <= "3" = '; var_dump ("3" <= "3");
echo '"3" >= "3" = '; var_dump ("3" >= "3");
echo '"3" && "3" = '; var_dump ("3" && "3");
echo '"3" || "3" = '; var_dump ("3" || "3");
#echo '"3" << "3" = '; var_dump ("3" << "3");
echo '"3" >> "3" = '; var_dump ("3" >> "3");
echo '"3" + 6.702 = '; var_dump ("3" + 6.702);
echo '"3" - 6.702 = '; var_dump ("3" - 6.702);
#echo '"3" / 6.702 = '; var_dump ("3" / 6.702);
echo '"3" * 6.702 = '; var_dump ("3" * 6.702);
echo '"3" % 6.702 = '; @var_dump ("3" % 6.702);
echo '"3" ^ 6.702 = '; var_dump ("3" ^ 6.702);
echo '"3" & 6.702 = '; var_dump ("3" & 6.702);
echo '"3" | 6.702 = '; var_dump ("3" | 6.702);
echo '"3" . 6.702 = '; var_dump ("3" . 6.702);
echo '"3" == 6.702 = '; var_dump ("3" == 6.702);
echo '"3" === 6.702 = '; var_dump ("3" === 6.702);
echo '"3" != 6.702 = '; var_dump ("3" != 6.702);
echo '"3" <> 6.702 = '; var_dump ("3" <> 6.702);
echo '"3" !== 6.702 = '; var_dump ("3" !== 6.702);
echo '"3" <= 6.702 = '; var_dump ("3" <= 6.702);
echo '"3" >= 6.702 = '; var_dump ("3" >= 6.702);
echo '"3" && 6.702 = '; var_dump ("3" && 6.702);
echo '"3" || 6.702 = '; var_dump ("3" || 6.702);
#echo '"3" << 6.702 = '; var_dump ("3" << 6.702);
#echo '"3" >> 6.702 = '; var_dump ("3" >> 6.702);
echo '"3" + 40.4e3 = '; var_dump ("3" + 40.4e3);
echo '"3" - 40.4e3 = '; var_dump ("3" - 40.4e3);
#echo '"3" / 40.4e3 = '; var_dump ("3" / 40.4e3);
echo '"3" * 40.4e3 = '; var_dump ("3" * 40.4e3);
echo '"3" % 40.4e3 = '; var_dump ("3" % 40.4e3);
echo '"3" ^ 40.4e3 = '; var_dump ("3" ^ 40.4e3);
echo '"3" & 40.4e3 = '; var_dump ("3" & 40.4e3);
echo '"3" | 40.4e3 = '; var_dump ("3" | 40.4e3);
echo '"3" . 40.4e3 = '; var_dump ("3" . 40.4e3);
echo '"3" == 40.4e3 = '; var_dump ("3" == 40.4e3);
echo '"3" === 40.4e3 = '; var_dump ("3" === 40.4e3);
echo '"3" != 40.4e3 = '; var_dump ("3" != 40.4e3);
echo '"3" <> 40.4e3 = '; var_dump ("3" <> 40.4e3);
echo '"3" !== 40.4e3 = '; var_dump ("3" !== 40.4e3);
echo '"3" <= 40.4e3 = '; var_dump ("3" <= 40.4e3);
echo '"3" >= 40.4e3 = '; var_dump ("3" >= 40.4e3);
echo '"3" && 40.4e3 = '; var_dump ("3" && 40.4e3);
echo '"3" || 40.4e3 = '; var_dump ("3" || 40.4e3);
#echo '"3" << 40.4e3 = '; var_dump ("3" << 40.4e3);
#echo '"3" >> 40.4e3 = '; var_dump ("3" >> 40.4e3);
echo '"3" + 0x786F = '; var_dump ("3" + 0x786F);
echo '"3" - 0x786F = '; var_dump ("3" - 0x786F);
#echo '"3" / 0x786F = '; var_dump ("3" / 0x786F);
echo '"3" * 0x786F = '; var_dump ("3" * 0x786F);
echo '"3" % 0x786F = '; var_dump ("3" % 0x786F);
echo '"3" ^ 0x786F = '; var_dump ("3" ^ 0x786F);
echo '"3" & 0x786F = '; var_dump ("3" & 0x786F);
echo '"3" | 0x786F = '; var_dump ("3" | 0x786F);
echo '"3" . 0x786F = '; var_dump ("3" . 0x786F);
echo '"3" == 0x786F = '; var_dump ("3" == 0x786F);
echo '"3" === 0x786F = '; var_dump ("3" === 0x786F);
echo '"3" != 0x786F = '; var_dump ("3" != 0x786F);
echo '"3" <> 0x786F = '; var_dump ("3" <> 0x786F);
echo '"3" !== 0x786F = '; var_dump ("3" !== 0x786F);
echo '"3" <= 0x786F = '; var_dump ("3" <= 0x786F);
echo '"3" >= 0x786F = '; var_dump ("3" >= 0x786F);
echo '"3" && 0x786F = '; var_dump ("3" && 0x786F);
echo '"3" || 0x786F = '; var_dump ("3" || 0x786F);
#echo '"3" << 0x786F = '; var_dump ("3" << 0x786F);
echo '"3" >> 0xF = '; var_dump ("3" >> 0xF);
#echo '~ "3" = '; var_dump (~ "3");
#echo '! "3" = '; var_dump (! "3");
}

string_3_folding();

function float6_702_folding() {
echo '6.702 + 0 = '; var_dump (6.702 + 0);
echo '6.702 - 0 = '; var_dump (6.702 - 0);
echo '6.702 * 0 = '; var_dump (6.702 * 0);
echo '6.702 ^ 0 = '; var_dump (6.702 ^ 0);
echo '6.702 & 0 = '; var_dump (6.702 & 0);
echo '6.702 | 0 = '; var_dump (6.702 | 0);
echo '6.702 . 0 = '; var_dump (6.702 . 0);
echo '6.702 == 0 = '; var_dump (6.702 == 0);
echo '6.702 === 0 = '; var_dump (6.702 === 0);
echo '6.702 != 0 = '; var_dump (6.702 != 0);
echo '6.702 <> 0 = '; var_dump (6.702 <> 0);
echo '6.702 !== 0 = '; var_dump (6.702 !== 0);
echo '6.702 <= 0 = '; var_dump (6.702 <= 0);
echo '6.702 >= 0 = '; var_dump (6.702 >= 0);
echo '6.702 && 0 = '; var_dump (6.702 && 0);
echo '6.702 || 0 = '; var_dump (6.702 || 0);
#echo '6.702 << 0 = '; var_dump (6.702 << 0);
#echo '6.702 >> 0 = '; var_dump (6.702 >> 0);
echo '6.702 + 1 = '; var_dump (6.702 + 1);
echo '6.702 - 1 = '; var_dump (6.702 - 1);
#echo '6.702 / 1 = '; var_dump (6.702 / 1);
echo '6.702 * 1 = '; var_dump (6.702 * 1);
echo '6.702 % 1 = '; @var_dump (6.702 % 1);
echo '6.702 ^ 1 = '; var_dump (6.702 ^ 1);
echo '6.702 & 1 = '; var_dump (6.702 & 1);
echo '6.702 | 1 = '; var_dump (6.702 | 1);
echo '6.702 . 1 = '; var_dump (6.702 . 1);
echo '6.702 == 1 = '; var_dump (6.702 == 1);
echo '6.702 === 1 = '; var_dump (6.702 === 1);
echo '6.702 != 1 = '; var_dump (6.702 != 1);
echo '6.702 <> 1 = '; var_dump (6.702 <> 1);
echo '6.702 !== 1 = '; var_dump (6.702 !== 1);
echo '6.702 <= 1 = '; var_dump (6.702 <= 1);
echo '6.702 >= 1 = '; var_dump (6.702 >= 1);
echo '6.702 && 1 = '; var_dump (6.702 && 1);
echo '6.702 || 1 = '; var_dump (6.702 || 1);
#echo '6.702 << 1 = '; var_dump (6.702 << 1);
#echo '6.702 >> 1 = '; var_dump (6.702 >> 1);
echo '6.702 + 5 = '; var_dump (6.702 + 5);
echo '6.702 - 5 = '; var_dump (6.702 - 5);
#echo '6.702 / 5 = '; var_dump (6.702 / 5);
echo '6.702 * 5 = '; var_dump (6.702 * 5);
echo '6.702 % 5 = '; @var_dump (6.702 % 5);
echo '6.702 ^ 5 = '; var_dump (6.702 ^ 5);
echo '6.702 & 5 = '; var_dump (6.702 & 5);
echo '6.702 | 5 = '; var_dump (6.702 | 5);
echo '6.702 . 5 = '; var_dump (6.702 . 5);
echo '6.702 == 5 = '; var_dump (6.702 == 5);
echo '6.702 === 5 = '; var_dump (6.702 === 5);
echo '6.702 != 5 = '; var_dump (6.702 != 5);
echo '6.702 <> 5 = '; var_dump (6.702 <> 5);
echo '6.702 !== 5 = '; var_dump (6.702 !== 5);
echo '6.702 <= 5 = '; var_dump (6.702 <= 5);
echo '6.702 >= 5 = '; var_dump (6.702 >= 5);
echo '6.702 && 5 = '; var_dump (6.702 && 5);
echo '6.702 || 5 = '; var_dump (6.702 || 5);
#echo '6.702 << 5 = '; var_dump (6.702 << 5);
#echo '6.702 >> 5 = '; var_dump (6.702 >> 5);
echo '6.702 + -1 = '; var_dump (6.702 + -1);
echo '6.702 - -1 = '; var_dump (6.702 - -1);
#echo '6.702 / -1 = '; var_dump (6.702 / -1);
echo '6.702 * -1 = '; var_dump (6.702 * -1);
echo '6.702 % -1 = '; @var_dump (6.702 % -1);
echo '6.702 ^ -1 = '; var_dump (6.702 ^ -1);
echo '6.702 & -1 = '; var_dump (6.702 & -1);
echo '6.702 | -1 = '; var_dump (6.702 | -1);
echo '6.702 . -1 = '; var_dump (6.702 . -1);
echo '6.702 == -1 = '; var_dump (6.702 == -1);
echo '6.702 === -1 = '; var_dump (6.702 === -1);
echo '6.702 != -1 = '; var_dump (6.702 != -1);
echo '6.702 <> -1 = '; var_dump (6.702 <> -1);
echo '6.702 !== -1 = '; var_dump (6.702 !== -1);
echo '6.702 <= -1 = '; var_dump (6.702 <= -1);
echo '6.702 >= -1 = '; var_dump (6.702 >= -1);
echo '6.702 && -1 = '; var_dump (6.702 && -1);
echo '6.702 || -1 = '; var_dump (6.702 || -1);
#echo '6.702 << -1 = '; var_dump (6.702 << -1);
##echo '6.702 >> -1 = '; var_dump (6.702 >> -1);
echo '6.702 + -10000 = '; var_dump (6.702 + -10000);
echo '6.702 - -10000 = '; var_dump (6.702 - -10000);
#echo '6.702 / -10000 = '; var_dump (6.702 / -10000);
echo '6.702 * -10000 = '; var_dump (6.702 * -10000);
echo '6.702 % -10000 = '; @var_dump (6.702 % -10000);
echo '6.702 ^ -10000 = '; var_dump (6.702 ^ -10000);
echo '6.702 & -10000 = '; var_dump (6.702 & -10000);
echo '6.702 | -10000 = '; var_dump (6.702 | -10000);
echo '6.702 . -10000 = '; var_dump (6.702 . -10000);
echo '6.702 == -10000 = '; var_dump (6.702 == -10000);
echo '6.702 === -10000 = '; var_dump (6.702 === -10000);
echo '6.702 != -10000 = '; var_dump (6.702 != -10000);
echo '6.702 <> -10000 = '; var_dump (6.702 <> -10000);
echo '6.702 !== -10000 = '; var_dump (6.702 !== -10000);
echo '6.702 <= -10000 = '; var_dump (6.702 <= -10000);
echo '6.702 >= -10000 = '; var_dump (6.702 >= -10000);
echo '6.702 && -10000 = '; var_dump (6.702 && -10000);
echo '6.702 || -10000 = '; var_dump (6.702 || -10000);
#echo '6.702 << -10000 = '; var_dump (6.702 << -10000);
##echo '6.702 >> -10000 = '; var_dump (6.702 >> -10000);
echo '6.702 + true = '; var_dump (6.702 + true);
echo '6.702 - true = '; var_dump (6.702 - true);
#echo '6.702 / true = '; var_dump (6.702 / true);
echo '6.702 * true = '; var_dump (6.702 * true);
echo '6.702 % true = '; @var_dump (6.702 % true);
echo '6.702 ^ true = '; var_dump (6.702 ^ true);
echo '6.702 & true = '; var_dump (6.702 & true);
echo '6.702 | true = '; var_dump (6.702 | true);
echo '6.702 . true = '; var_dump (6.702 . true);
echo '6.702 == true = '; var_dump (6.702 == true);
echo '6.702 === true = '; var_dump (6.702 === true);
echo '6.702 != true = '; var_dump (6.702 != true);
echo '6.702 <> true = '; var_dump (6.702 <> true);
echo '6.702 !== true = '; var_dump (6.702 !== true);
echo '6.702 <= true = '; var_dump (6.702 <= true);
echo '6.702 >= true = '; var_dump (6.702 >= true);
echo '6.702 && true = '; var_dump (6.702 && true);
echo '6.702 || true = '; var_dump (6.702 || true);
#echo '6.702 << true = '; var_dump (6.702 << true);
#echo '6.702 >> true = '; var_dump (6.702 >> true);
echo '6.702 + false = '; var_dump (6.702 + false);
echo '6.702 - false = '; var_dump (6.702 - false);
echo '6.702 * false = '; var_dump (6.702 * false);
echo '6.702 ^ false = '; var_dump (6.702 ^ false);
echo '6.702 & false = '; var_dump (6.702 & false);
echo '6.702 | false = '; var_dump (6.702 | false);
echo '6.702 . false = '; var_dump (6.702 . false);
echo '6.702 == false = '; var_dump (6.702 == false);
echo '6.702 === false = '; var_dump (6.702 === false);
echo '6.702 != false = '; var_dump (6.702 != false);
echo '6.702 <> false = '; var_dump (6.702 <> false);
echo '6.702 !== false = '; var_dump (6.702 !== false);
echo '6.702 <= false = '; var_dump (6.702 <= false);
echo '6.702 >= false = '; var_dump (6.702 >= false);
echo '6.702 && false = '; var_dump (6.702 && false);
echo '6.702 || false = '; var_dump (6.702 || false);
#echo '6.702 << false = '; var_dump (6.702 << false);
#echo '6.702 >> false = '; var_dump (6.702 >> false);
echo '6.702 + "String" = '; var_dump (6.702 + "String");
echo '6.702 - "String" = '; var_dump (6.702 - "String");
echo '6.702 * "String" = '; var_dump (6.702 * "String");
echo '6.702 ^ "String" = '; var_dump (6.702 ^ "String");
echo '6.702 & "String" = '; var_dump (6.702 & "String");
echo '6.702 | "String" = '; var_dump (6.702 | "String");
echo '6.702 . "String" = '; var_dump (6.702 . "String");
echo '6.702 == "String" = '; var_dump (6.702 == "String");
echo '6.702 === "String" = '; var_dump (6.702 === "String");
echo '6.702 != "String" = '; var_dump (6.702 != "String");
echo '6.702 <> "String" = '; var_dump (6.702 <> "String");
echo '6.702 !== "String" = '; var_dump (6.702 !== "String");
echo '6.702 <= "String" = '; var_dump (6.702 <= "String");
echo '6.702 >= "String" = '; var_dump (6.702 >= "String");
echo '6.702 && "String" = '; var_dump (6.702 && "String");
echo '6.702 || "String" = '; var_dump (6.702 || "String");
#echo '6.702 << "String" = '; var_dump (6.702 << "String");
#echo '6.702 >> "String" = '; var_dump (6.702 >> "String");
echo '6.702 + "num3" = '; var_dump (6.702 + "num3");
echo '6.702 - "num3" = '; var_dump (6.702 - "num3");
echo '6.702 * "num3" = '; var_dump (6.702 * "num3");
echo '6.702 ^ "num3" = '; var_dump (6.702 ^ "num3");
echo '6.702 & "num3" = '; var_dump (6.702 & "num3");
echo '6.702 | "num3" = '; var_dump (6.702 | "num3");
echo '6.702 . "num3" = '; var_dump (6.702 . "num3");
echo '6.702 == "num3" = '; var_dump (6.702 == "num3");
echo '6.702 === "num3" = '; var_dump (6.702 === "num3");
echo '6.702 != "num3" = '; var_dump (6.702 != "num3");
echo '6.702 <> "num3" = '; var_dump (6.702 <> "num3");
echo '6.702 !== "num3" = '; var_dump (6.702 !== "num3");
echo '6.702 <= "num3" = '; var_dump (6.702 <= "num3");
echo '6.702 >= "num3" = '; var_dump (6.702 >= "num3");
echo '6.702 && "num3" = '; var_dump (6.702 && "num3");
echo '6.702 || "num3" = '; var_dump (6.702 || "num3");
#echo '6.702 << "num3" = '; var_dump (6.702 << "num3");
#echo '6.702 >> "num3" = '; var_dump (6.702 >> "num3");
echo '6.702 + "3" = '; var_dump (6.702 + "3");
echo '6.702 - "3" = '; var_dump (6.702 - "3");
#echo '6.702 / "3" = '; var_dump (6.702 / "3");
echo '6.702 * "3" = '; var_dump (6.702 * "3");
echo '6.702 % "3" = '; @var_dump (6.702 % "3");
echo '6.702 ^ "3" = '; var_dump (6.702 ^ "3");
echo '6.702 & "3" = '; var_dump (6.702 & "3");
echo '6.702 | "3" = '; var_dump (6.702 | "3");
echo '6.702 . "3" = '; var_dump (6.702 . "3");
echo '6.702 == "3" = '; var_dump (6.702 == "3");
echo '6.702 === "3" = '; var_dump (6.702 === "3");
echo '6.702 != "3" = '; var_dump (6.702 != "3");
echo '6.702 <> "3" = '; var_dump (6.702 <> "3");
echo '6.702 !== "3" = '; var_dump (6.702 !== "3");
echo '6.702 <= "3" = '; var_dump (6.702 <= "3");
echo '6.702 >= "3" = '; var_dump (6.702 >= "3");
echo '6.702 && "3" = '; var_dump (6.702 && "3");
echo '6.702 || "3" = '; var_dump (6.702 || "3");
#echo '6.702 << "3" = '; var_dump (6.702 << "3");
#echo '6.702 >> "3" = '; var_dump (6.702 >> "3");
echo '6.702 + 6.702 = '; var_dump (6.702 + 6.702);
echo '6.702 - 6.702 = '; var_dump (6.702 - 6.702);
#echo '6.702 / 6.702 = '; var_dump (6.702 / 6.702);
echo '6.702 * 6.702 = '; var_dump (6.702 * 6.702);
echo '6.702 % 6.702 = '; @var_dump (6.702 % 6.702);
echo '6.702 ^ 6.702 = '; var_dump (6.702 ^ 6.702);
echo '6.702 & 6.702 = '; var_dump (6.702 & 6.702);
echo '6.702 | 6.702 = '; var_dump (6.702 | 6.702);
echo '6.702 . 6.702 = '; var_dump (6.702 . 6.702);
echo '6.702 == 6.702 = '; var_dump (6.702 == 6.702);
echo '6.702 === 6.702 = '; var_dump (6.702 === 6.702);
echo '6.702 != 6.702 = '; var_dump (6.702 != 6.702);
echo '6.702 <> 6.702 = '; var_dump (6.702 <> 6.702);
echo '6.702 !== 6.702 = '; var_dump (6.702 !== 6.702);
echo '6.702 <= 6.702 = '; var_dump (6.702 <= 6.702);
echo '6.702 >= 6.702 = '; var_dump (6.702 >= 6.702);
echo '6.702 && 6.702 = '; var_dump (6.702 && 6.702);
echo '6.702 || 6.702 = '; var_dump (6.702 || 6.702);
#echo '6.702 << 6.702 = '; var_dump (6.702 << 6.702);
##echo '6.702 >> 6.702 = '; var_dump (6.702 >> 6.702);
echo '6.702 + 40.4e3 = '; var_dump (6.702 + 40.4e3);
echo '6.702 - 40.4e3 = '; var_dump (6.702 - 40.4e3);
#echo '6.702 / 40.4e3 = '; var_dump (6.702 / 40.4e3);
echo '6.702 * 40.4e3 = '; var_dump (6.702 * 40.4e3);
echo '6.702 % 40.4e3 = '; @var_dump (6.702 % 40.4e3);
echo '6.702 ^ 40.4e3 = '; var_dump (6.702 ^ 40.4e3);
echo '6.702 & 40.4e3 = '; var_dump (6.702 & 40.4e3);
echo '6.702 | 40.4e3 = '; var_dump (6.702 | 40.4e3);
echo '6.702 . 40.4e3 = '; var_dump (6.702 . 40.4e3);
echo '6.702 == 40.4e3 = '; var_dump (6.702 == 40.4e3);
echo '6.702 === 40.4e3 = '; var_dump (6.702 === 40.4e3);
echo '6.702 != 40.4e3 = '; var_dump (6.702 != 40.4e3);
echo '6.702 <> 40.4e3 = '; var_dump (6.702 <> 40.4e3);
echo '6.702 !== 40.4e3 = '; var_dump (6.702 !== 40.4e3);
echo '6.702 <= 40.4e3 = '; var_dump (6.702 <= 40.4e3);
echo '6.702 >= 40.4e3 = '; var_dump (6.702 >= 40.4e3);
echo '6.702 && 40.4e3 = '; var_dump (6.702 && 40.4e3);
echo '6.702 || 40.4e3 = '; var_dump (6.702 || 40.4e3);
#echo '6.702 << 40.4e3 = '; var_dump (6.702 << 40.4e3);
##echo '6.702 >> 40.4e3 = '; var_dump (6.702 >> 40.4e3);
echo '6.702 + 0x786F = '; var_dump (6.702 + 0x786F);
echo '6.702 - 0x786F = '; var_dump (6.702 - 0x786F);
#echo '6.702 / 0x786F = '; var_dump (6.702 / 0x786F);
echo '6.702 * 0x786F = '; var_dump (6.702 * 0x786F);
echo '6.702 % 0x786F = '; @var_dump (6.702 % 0x786F);
echo '6.702 ^ 0x786F = '; var_dump (6.702 ^ 0x786F);
echo '6.702 & 0x786F = '; var_dump (6.702 & 0x786F);
echo '6.702 | 0x786F = '; var_dump (6.702 | 0x786F);
echo '6.702 . 0x786F = '; var_dump (6.702 . 0x786F);
echo '6.702 == 0x786F = '; var_dump (6.702 == 0x786F);
echo '6.702 === 0x786F = '; var_dump (6.702 === 0x786F);
echo '6.702 != 0x786F = '; var_dump (6.702 != 0x786F);
echo '6.702 <> 0x786F = '; var_dump (6.702 <> 0x786F);
echo '6.702 !== 0x786F = '; var_dump (6.702 !== 0x786F);
echo '6.702 <= 0x786F = '; var_dump (6.702 <= 0x786F);
echo '6.702 >= 0x786F = '; var_dump (6.702 >= 0x786F);
echo '6.702 && 0x786F = '; var_dump (6.702 && 0x786F);
echo '6.702 || 0x786F = '; var_dump (6.702 || 0x786F);
#echo '6.702 << 0x786F = '; var_dump (6.702 << 0x786F);
#echo '6.702 >> 0x786F = '; var_dump (6.702 >> 0x786F);
echo '~ 6.702 = '; var_dump (~ 6.702);
echo '! 6.702 = '; var_dump (! 6.702);
}

float6_702_folding();

function float40_4e3_folding() {
echo '40.4e3 + 0 = '; var_dump (40.4e3 + 0);
echo '40.4e3 - 0 = '; var_dump (40.4e3 - 0);
echo '40.4e3 * 0 = '; var_dump (40.4e3 * 0);
echo '40.4e3 ^ 0 = '; var_dump (40.4e3 ^ 0);
echo '40.4e3 & 0 = '; var_dump (40.4e3 & 0);
echo '40.4e3 | 0 = '; var_dump (40.4e3 | 0);
echo '40.4e3 . 0 = '; var_dump (40.4e3 . 0);
echo '40.4e3 == 0 = '; var_dump (40.4e3 == 0);
echo '40.4e3 === 0 = '; var_dump (40.4e3 === 0);
echo '40.4e3 != 0 = '; var_dump (40.4e3 != 0);
echo '40.4e3 <> 0 = '; var_dump (40.4e3 <> 0);
echo '40.4e3 !== 0 = '; var_dump (40.4e3 !== 0);
echo '40.4e3 <= 0 = '; var_dump (40.4e3 <= 0);
echo '40.4e3 >= 0 = '; var_dump (40.4e3 >= 0);
echo '40.4e3 && 0 = '; var_dump (40.4e3 && 0);
echo '40.4e3 || 0 = '; var_dump (40.4e3 || 0);
#echo '40.4e3 << 0 = '; var_dump (40.4e3 << 0);
#echo '40.4e3 >> 0 = '; var_dump (40.4e3 >> 0);
echo '40.4e3 + 1 = '; var_dump (40.4e3 + 1);
echo '40.4e3 - 1 = '; var_dump (40.4e3 - 1);
#echo '40.4e3 / 1 = '; var_dump (40.4e3 / 1);
echo '40.4e3 * 1 = '; var_dump (40.4e3 * 1);
echo '40.4e3 % 1 = '; var_dump (40.4e3 % 1);
echo '40.4e3 ^ 1 = '; var_dump (40.4e3 ^ 1);
echo '40.4e3 & 1 = '; var_dump (40.4e3 & 1);
echo '40.4e3 | 1 = '; var_dump (40.4e3 | 1);
echo '40.4e3 . 1 = '; var_dump (40.4e3 . 1);
echo '40.4e3 == 1 = '; var_dump (40.4e3 == 1);
echo '40.4e3 === 1 = '; var_dump (40.4e3 === 1);
echo '40.4e3 != 1 = '; var_dump (40.4e3 != 1);
echo '40.4e3 <> 1 = '; var_dump (40.4e3 <> 1);
echo '40.4e3 !== 1 = '; var_dump (40.4e3 !== 1);
echo '40.4e3 <= 1 = '; var_dump (40.4e3 <= 1);
echo '40.4e3 >= 1 = '; var_dump (40.4e3 >= 1);
echo '40.4e3 && 1 = '; var_dump (40.4e3 && 1);
echo '40.4e3 || 1 = '; var_dump (40.4e3 || 1);
#echo '40.4e3 << 1 = '; var_dump (40.4e3 << 1);
#echo '40.4e3 >> 1 = '; var_dump (40.4e3 >> 1);
echo '40.4e3 + 5 = '; var_dump (40.4e3 + 5);
echo '40.4e3 - 5 = '; var_dump (40.4e3 - 5);
#echo '40.4e3 / 5 = '; var_dump (40.4e3 / 5);
echo '40.4e3 * 5 = '; var_dump (40.4e3 * 5);
echo '40.4e3 % 5 = '; var_dump (40.4e3 % 5);
echo '40.4e3 ^ 5 = '; var_dump (40.4e3 ^ 5);
echo '40.4e3 & 5 = '; var_dump (40.4e3 & 5);
echo '40.4e3 | 5 = '; var_dump (40.4e3 | 5);
echo '40.4e3 . 5 = '; var_dump (40.4e3 . 5);
echo '40.4e3 == 5 = '; var_dump (40.4e3 == 5);
echo '40.4e3 === 5 = '; var_dump (40.4e3 === 5);
echo '40.4e3 != 5 = '; var_dump (40.4e3 != 5);
echo '40.4e3 <> 5 = '; var_dump (40.4e3 <> 5);
echo '40.4e3 !== 5 = '; var_dump (40.4e3 !== 5);
echo '40.4e3 <= 5 = '; var_dump (40.4e3 <= 5);
echo '40.4e3 >= 5 = '; var_dump (40.4e3 >= 5);
echo '40.4e3 && 5 = '; var_dump (40.4e3 && 5);
echo '40.4e3 || 5 = '; var_dump (40.4e3 || 5);
#echo '40.4e3 << 5 = '; var_dump (40.4e3 << 5);
#echo '40.4e3 >> 5 = '; var_dump (40.4e3 >> 5);
echo '40.4e3 + -1 = '; var_dump (40.4e3 + -1);
echo '40.4e3 - -1 = '; var_dump (40.4e3 - -1);
#echo '40.4e3 / -1 = '; var_dump (40.4e3 / -1);
echo '40.4e3 * -1 = '; var_dump (40.4e3 * -1);
echo '40.4e3 % -1 = '; var_dump (40.4e3 % -1);
echo '40.4e3 ^ -1 = '; var_dump (40.4e3 ^ -1);
echo '40.4e3 & -1 = '; var_dump (40.4e3 & -1);
echo '40.4e3 | -1 = '; var_dump (40.4e3 | -1);
echo '40.4e3 . -1 = '; var_dump (40.4e3 . -1);
echo '40.4e3 == -1 = '; var_dump (40.4e3 == -1);
echo '40.4e3 === -1 = '; var_dump (40.4e3 === -1);
echo '40.4e3 != -1 = '; var_dump (40.4e3 != -1);
echo '40.4e3 <> -1 = '; var_dump (40.4e3 <> -1);
echo '40.4e3 !== -1 = '; var_dump (40.4e3 !== -1);
echo '40.4e3 <= -1 = '; var_dump (40.4e3 <= -1);
echo '40.4e3 >= -1 = '; var_dump (40.4e3 >= -1);
echo '40.4e3 && -1 = '; var_dump (40.4e3 && -1);
echo '40.4e3 || -1 = '; var_dump (40.4e3 || -1);
#echo '40.4e3 << -1 = '; var_dump (40.4e3 << -1);
##echo '40.4e3 >> -1 = '; var_dump (40.4e3 >> -1);
echo '40.4e3 + -10000 = '; var_dump (40.4e3 + -10000);
echo '40.4e3 - -10000 = '; var_dump (40.4e3 - -10000);
#echo '40.4e3 / -10000 = '; var_dump (40.4e3 / -10000);
echo '40.4e3 * -10000 = '; var_dump (40.4e3 * -10000);
echo '40.4e3 % -10000 = '; var_dump (40.4e3 % -10000);
echo '40.4e3 ^ -10000 = '; var_dump (40.4e3 ^ -10000);
echo '40.4e3 & -10000 = '; var_dump (40.4e3 & -10000);
echo '40.4e3 | -10000 = '; var_dump (40.4e3 | -10000);
echo '40.4e3 . -10000 = '; var_dump (40.4e3 . -10000);
echo '40.4e3 == -10000 = '; var_dump (40.4e3 == -10000);
echo '40.4e3 === -10000 = '; var_dump (40.4e3 === -10000);
echo '40.4e3 != -10000 = '; var_dump (40.4e3 != -10000);
echo '40.4e3 <> -10000 = '; var_dump (40.4e3 <> -10000);
echo '40.4e3 !== -10000 = '; var_dump (40.4e3 !== -10000);
echo '40.4e3 <= -10000 = '; var_dump (40.4e3 <= -10000);
echo '40.4e3 >= -10000 = '; var_dump (40.4e3 >= -10000);
echo '40.4e3 && -10000 = '; var_dump (40.4e3 && -10000);
echo '40.4e3 || -10000 = '; var_dump (40.4e3 || -10000);
#echo '40.4e3 << -10000 = '; var_dump (40.4e3 << -10000);
##echo '40.4e3 >> -10000 = '; var_dump (40.4e3 >> -10000);
echo '40.4e3 + true = '; var_dump (40.4e3 + true);
echo '40.4e3 - true = '; var_dump (40.4e3 - true);
#echo '40.4e3 / true = '; var_dump (40.4e3 / true);
echo '40.4e3 * true = '; var_dump (40.4e3 * true);
echo '40.4e3 % true = '; var_dump (40.4e3 % true);
echo '40.4e3 ^ true = '; var_dump (40.4e3 ^ true);
echo '40.4e3 & true = '; var_dump (40.4e3 & true);
echo '40.4e3 | true = '; var_dump (40.4e3 | true);
echo '40.4e3 . true = '; var_dump (40.4e3 . true);
echo '40.4e3 == true = '; var_dump (40.4e3 == true);
echo '40.4e3 === true = '; var_dump (40.4e3 === true);
echo '40.4e3 != true = '; var_dump (40.4e3 != true);
echo '40.4e3 <> true = '; var_dump (40.4e3 <> true);
echo '40.4e3 !== true = '; var_dump (40.4e3 !== true);
echo '40.4e3 <= true = '; var_dump (40.4e3 <= true);
echo '40.4e3 >= true = '; var_dump (40.4e3 >= true);
echo '40.4e3 && true = '; var_dump (40.4e3 && true);
echo '40.4e3 || true = '; var_dump (40.4e3 || true);
#echo '40.4e3 << true = '; var_dump (40.4e3 << true);
#echo '40.4e3 >> true = '; var_dump (40.4e3 >> true);
echo '40.4e3 + false = '; var_dump (40.4e3 + false);
echo '40.4e3 - false = '; var_dump (40.4e3 - false);
echo '40.4e3 * false = '; var_dump (40.4e3 * false);
echo '40.4e3 ^ false = '; var_dump (40.4e3 ^ false);
echo '40.4e3 & false = '; var_dump (40.4e3 & false);
echo '40.4e3 | false = '; var_dump (40.4e3 | false);
echo '40.4e3 . false = '; var_dump (40.4e3 . false);
echo '40.4e3 == false = '; var_dump (40.4e3 == false);
echo '40.4e3 === false = '; var_dump (40.4e3 === false);
echo '40.4e3 != false = '; var_dump (40.4e3 != false);
echo '40.4e3 <> false = '; var_dump (40.4e3 <> false);
echo '40.4e3 !== false = '; var_dump (40.4e3 !== false);
echo '40.4e3 <= false = '; var_dump (40.4e3 <= false);
echo '40.4e3 >= false = '; var_dump (40.4e3 >= false);
echo '40.4e3 && false = '; var_dump (40.4e3 && false);
echo '40.4e3 || false = '; var_dump (40.4e3 || false);
#echo '40.4e3 << false = '; var_dump (40.4e3 << false);
#echo '40.4e3 >> false = '; var_dump (40.4e3 >> false);
echo '40.4e3 + "String" = '; var_dump (40.4e3 + "String");
echo '40.4e3 - "String" = '; var_dump (40.4e3 - "String");
echo '40.4e3 * "String" = '; var_dump (40.4e3 * "String");
echo '40.4e3 ^ "String" = '; var_dump (40.4e3 ^ "String");
echo '40.4e3 & "String" = '; var_dump (40.4e3 & "String");
echo '40.4e3 | "String" = '; var_dump (40.4e3 | "String");
echo '40.4e3 . "String" = '; var_dump (40.4e3 . "String");
echo '40.4e3 == "String" = '; var_dump (40.4e3 == "String");
echo '40.4e3 === "String" = '; var_dump (40.4e3 === "String");
echo '40.4e3 != "String" = '; var_dump (40.4e3 != "String");
echo '40.4e3 <> "String" = '; var_dump (40.4e3 <> "String");
echo '40.4e3 !== "String" = '; var_dump (40.4e3 !== "String");
echo '40.4e3 <= "String" = '; var_dump (40.4e3 <= "String");
echo '40.4e3 >= "String" = '; var_dump (40.4e3 >= "String");
echo '40.4e3 && "String" = '; var_dump (40.4e3 && "String");
echo '40.4e3 || "String" = '; var_dump (40.4e3 || "String");
#echo '40.4e3 << "String" = '; var_dump (40.4e3 << "String");
#echo '40.4e3 >> "String" = '; var_dump (40.4e3 >> "String");
echo '40.4e3 + "num3" = '; var_dump (40.4e3 + "num3");
echo '40.4e3 - "num3" = '; var_dump (40.4e3 - "num3");
echo '40.4e3 * "num3" = '; var_dump (40.4e3 * "num3");
echo '40.4e3 ^ "num3" = '; var_dump (40.4e3 ^ "num3");
echo '40.4e3 & "num3" = '; var_dump (40.4e3 & "num3");
echo '40.4e3 | "num3" = '; var_dump (40.4e3 | "num3");
echo '40.4e3 . "num3" = '; var_dump (40.4e3 . "num3");
echo '40.4e3 == "num3" = '; var_dump (40.4e3 == "num3");
echo '40.4e3 === "num3" = '; var_dump (40.4e3 === "num3");
echo '40.4e3 != "num3" = '; var_dump (40.4e3 != "num3");
echo '40.4e3 <> "num3" = '; var_dump (40.4e3 <> "num3");
echo '40.4e3 !== "num3" = '; var_dump (40.4e3 !== "num3");
echo '40.4e3 <= "num3" = '; var_dump (40.4e3 <= "num3");
echo '40.4e3 >= "num3" = '; var_dump (40.4e3 >= "num3");
echo '40.4e3 && "num3" = '; var_dump (40.4e3 && "num3");
echo '40.4e3 || "num3" = '; var_dump (40.4e3 || "num3");
#echo '40.4e3 << "num3" = '; var_dump (40.4e3 << "num3");
#echo '40.4e3 >> "num3" = '; var_dump (40.4e3 >> "num3");
echo '40.4e3 + "3" = '; var_dump (40.4e3 + "3");
echo '40.4e3 - "3" = '; var_dump (40.4e3 - "3");
#echo '40.4e3 / "3" = '; var_dump (40.4e3 / "3");
echo '40.4e3 * "3" = '; var_dump (40.4e3 * "3");
echo '40.4e3 % "3" = '; var_dump (40.4e3 % "3");
echo '40.4e3 ^ "3" = '; var_dump (40.4e3 ^ "3");
echo '40.4e3 & "3" = '; var_dump (40.4e3 & "3");
echo '40.4e3 | "3" = '; var_dump (40.4e3 | "3");
echo '40.4e3 . "3" = '; var_dump (40.4e3 . "3");
echo '40.4e3 == "3" = '; var_dump (40.4e3 == "3");
echo '40.4e3 === "3" = '; var_dump (40.4e3 === "3");
echo '40.4e3 != "3" = '; var_dump (40.4e3 != "3");
echo '40.4e3 <> "3" = '; var_dump (40.4e3 <> "3");
echo '40.4e3 !== "3" = '; var_dump (40.4e3 !== "3");
echo '40.4e3 <= "3" = '; var_dump (40.4e3 <= "3");
echo '40.4e3 >= "3" = '; var_dump (40.4e3 >= "3");
echo '40.4e3 && "3" = '; var_dump (40.4e3 && "3");
echo '40.4e3 || "3" = '; var_dump (40.4e3 || "3");
#echo '40.4e3 << "3" = '; var_dump (40.4e3 << "3");
#echo '40.4e3 >> "3" = '; var_dump (40.4e3 >> "3");
echo '40.4e3 + 6.702 = '; var_dump (40.4e3 + 6.702);
echo '40.4e3 - 6.702 = '; var_dump (40.4e3 - 6.702);
#echo '40.4e3 / 6.702 = '; var_dump (40.4e3 / 6.702);
echo '40.4e3 * 6.702 = '; var_dump (40.4e3 * 6.702);
echo '40.4e3 % 6.702 = '; @var_dump (40.4e3 % 6.702);
echo '40.4e3 ^ 6.702 = '; var_dump (40.4e3 ^ 6.702);
echo '40.4e3 & 6.702 = '; var_dump (40.4e3 & 6.702);
echo '40.4e3 | 6.702 = '; var_dump (40.4e3 | 6.702);
echo '40.4e3 . 6.702 = '; var_dump (40.4e3 . 6.702);
echo '40.4e3 == 6.702 = '; var_dump (40.4e3 == 6.702);
echo '40.4e3 === 6.702 = '; var_dump (40.4e3 === 6.702);
echo '40.4e3 != 6.702 = '; var_dump (40.4e3 != 6.702);
echo '40.4e3 <> 6.702 = '; var_dump (40.4e3 <> 6.702);
echo '40.4e3 !== 6.702 = '; var_dump (40.4e3 !== 6.702);
echo '40.4e3 <= 6.702 = '; var_dump (40.4e3 <= 6.702);
echo '40.4e3 >= 6.702 = '; var_dump (40.4e3 >= 6.702);
echo '40.4e3 && 6.702 = '; var_dump (40.4e3 && 6.702);
echo '40.4e3 || 6.702 = '; var_dump (40.4e3 || 6.702);
#echo '40.4e3 << 6.702 = '; var_dump (40.4e3 << 6.702);
##echo '40.4e3 >> 6.702 = '; var_dump (40.4e3 >> 6.702);
echo '40.4e3 + 40.4e3 = '; var_dump (40.4e3 + 40.4e3);
echo '40.4e3 - 40.4e3 = '; var_dump (40.4e3 - 40.4e3);
#echo '40.4e3 / 40.4e3 = '; var_dump (40.4e3 / 40.4e3);
echo '40.4e3 * 40.4e3 = '; var_dump (40.4e3 * 40.4e3);
echo '40.4e3 % 40.4e3 = '; var_dump (40.4e3 % 40.4e3);
echo '40.4e3 ^ 40.4e3 = '; var_dump (40.4e3 ^ 40.4e3);
echo '40.4e3 & 40.4e3 = '; var_dump (40.4e3 & 40.4e3);
echo '40.4e3 | 40.4e3 = '; var_dump (40.4e3 | 40.4e3);
echo '40.4e3 . 40.4e3 = '; var_dump (40.4e3 . 40.4e3);
echo '40.4e3 == 40.4e3 = '; var_dump (40.4e3 == 40.4e3);
echo '40.4e3 === 40.4e3 = '; var_dump (40.4e3 === 40.4e3);
echo '40.4e3 != 40.4e3 = '; var_dump (40.4e3 != 40.4e3);
echo '40.4e3 <> 40.4e3 = '; var_dump (40.4e3 <> 40.4e3);
echo '40.4e3 !== 40.4e3 = '; var_dump (40.4e3 !== 40.4e3);
echo '40.4e3 <= 40.4e3 = '; var_dump (40.4e3 <= 40.4e3);
echo '40.4e3 >= 40.4e3 = '; var_dump (40.4e3 >= 40.4e3);
echo '40.4e3 && 40.4e3 = '; var_dump (40.4e3 && 40.4e3);
echo '40.4e3 || 40.4e3 = '; var_dump (40.4e3 || 40.4e3);
#echo '40.4e3 << 40.4e3 = '; var_dump (40.4e3 << 40.4e3);
##echo '40.4e3 >> 40.4e3 = '; var_dump (40.4e3 >> 40.4e3);
echo '40.4e3 + 0x786F = '; var_dump (40.4e3 + 0x786F);
echo '40.4e3 - 0x786F = '; var_dump (40.4e3 - 0x786F);
#echo '40.4e3 / 0x786F = '; var_dump (40.4e3 / 0x786F);
echo '40.4e3 * 0x786F = '; var_dump (40.4e3 * 0x786F);
echo '40.4e3 % 0x786F = '; var_dump (40.4e3 % 0x786F);
echo '40.4e3 ^ 0x786F = '; var_dump (40.4e3 ^ 0x786F);
echo '40.4e3 & 0x786F = '; var_dump (40.4e3 & 0x786F);
echo '40.4e3 | 0x786F = '; var_dump (40.4e3 | 0x786F);
echo '40.4e3 . 0x786F = '; var_dump (40.4e3 . 0x786F);
echo '40.4e3 == 0x786F = '; var_dump (40.4e3 == 0x786F);
echo '40.4e3 === 0x786F = '; var_dump (40.4e3 === 0x786F);
echo '40.4e3 != 0x786F = '; var_dump (40.4e3 != 0x786F);
echo '40.4e3 <> 0x786F = '; var_dump (40.4e3 <> 0x786F);
echo '40.4e3 !== 0x786F = '; var_dump (40.4e3 !== 0x786F);
echo '40.4e3 <= 0x786F = '; var_dump (40.4e3 <= 0x786F);
echo '40.4e3 >= 0x786F = '; var_dump (40.4e3 >= 0x786F);
echo '40.4e3 && 0x786F = '; var_dump (40.4e3 && 0x786F);
echo '40.4e3 || 0x786F = '; var_dump (40.4e3 || 0x786F);
#echo '40.4e3 << 0x786F = '; var_dump (40.4e3 << 0x786F);
#echo '40.4e3 >> 0x786F = '; var_dump (40.4e3 >> 0x786F);
echo '~ 40.4e3 = '; var_dump (~ 40.4e3);
echo '! 40.4e3 = '; var_dump (! 40.4e3);
}

float40_4e3_folding();

function hex_folding() {
echo '0x786F + 0 = '; var_dump (0x786F + 0);
echo '0x786F - 0 = '; var_dump (0x786F - 0);
echo '0x786F * 0 = '; var_dump (0x786F * 0);
echo '0x786F ^ 0 = '; var_dump (0x786F ^ 0);
echo '0x786F & 0 = '; var_dump (0x786F & 0);
echo '0x786F | 0 = '; var_dump (0x786F | 0);
echo '0x786F . 0 = '; var_dump (0x786F . 0);
echo '0x786F == 0 = '; var_dump (0x786F == 0);
echo '0x786F === 0 = '; var_dump (0x786F === 0);
echo '0x786F != 0 = '; var_dump (0x786F != 0);
echo '0x786F <> 0 = '; var_dump (0x786F <> 0);
echo '0x786F !== 0 = '; var_dump (0x786F !== 0);
echo '0x786F <= 0 = '; var_dump (0x786F <= 0);
echo '0x786F >= 0 = '; var_dump (0x786F >= 0);
echo '0x786F && 0 = '; var_dump (0x786F && 0);
echo '0x786F || 0 = '; var_dump (0x786F || 0);
#echo '0x786F << 0 = '; var_dump (0x786F << 0);
echo '0x786F >> 0 = '; var_dump (0x786F >> 0);
echo '0x786F + 1 = '; var_dump (0x786F + 1);
echo '0x786F - 1 = '; var_dump (0x786F - 1);
#echo '0x786F / 1 = '; var_dump (0x786F / 1);
echo '0x786F * 1 = '; var_dump (0x786F * 1);
echo '0x786F % 1 = '; var_dump (0x786F % 1);
echo '0x786F ^ 1 = '; var_dump (0x786F ^ 1);
echo '0x786F & 1 = '; var_dump (0x786F & 1);
echo '0x786F | 1 = '; var_dump (0x786F | 1);
echo '0x786F . 1 = '; var_dump (0x786F . 1);
echo '0x786F == 1 = '; var_dump (0x786F == 1);
echo '0x786F === 1 = '; var_dump (0x786F === 1);
echo '0x786F != 1 = '; var_dump (0x786F != 1);
echo '0x786F <> 1 = '; var_dump (0x786F <> 1);
echo '0x786F !== 1 = '; var_dump (0x786F !== 1);
echo '0x786F <= 1 = '; var_dump (0x786F <= 1);
echo '0x786F >= 1 = '; var_dump (0x786F >= 1);
echo '0x786F && 1 = '; var_dump (0x786F && 1);
echo '0x786F || 1 = '; var_dump (0x786F || 1);
#echo '0x786F << 1 = '; var_dump (0x786F << 1);
echo '0x786F >> 1 = '; var_dump (0x786F >> 1);
echo '0x786F + 5 = '; var_dump (0x786F + 5);
echo '0x786F - 5 = '; var_dump (0x786F - 5);
#echo '0x786F / 5 = '; var_dump (0x786F / 5);
echo '0x786F * 5 = '; var_dump (0x786F * 5);
echo '0x786F % 5 = '; var_dump (0x786F % 5);
echo '0x786F ^ 5 = '; var_dump (0x786F ^ 5);
echo '0x786F & 5 = '; var_dump (0x786F & 5);
echo '0x786F | 5 = '; var_dump (0x786F | 5);
echo '0x786F . 5 = '; var_dump (0x786F . 5);
echo '0x786F == 5 = '; var_dump (0x786F == 5);
echo '0x786F === 5 = '; var_dump (0x786F === 5);
echo '0x786F != 5 = '; var_dump (0x786F != 5);
echo '0x786F <> 5 = '; var_dump (0x786F <> 5);
echo '0x786F !== 5 = '; var_dump (0x786F !== 5);
echo '0x786F <= 5 = '; var_dump (0x786F <= 5);
echo '0x786F >= 5 = '; var_dump (0x786F >= 5);
echo '0x786F && 5 = '; var_dump (0x786F && 5);
echo '0x786F || 5 = '; var_dump (0x786F || 5);
#echo '0x786F << 5 = '; var_dump (0x786F << 5);
echo '0x786F >> 5 = '; var_dump (0x786F >> 5);
echo '0x786F + -1 = '; var_dump (0x786F + -1);
echo '0x786F - -1 = '; var_dump (0x786F - -1);
#echo '0x786F / -1 = '; var_dump (0x786F / -1);
echo '0x786F * -1 = '; var_dump (0x786F * -1);
echo '0x786F % -1 = '; var_dump (0x786F % -1);
echo '0x786F ^ -1 = '; var_dump (0x786F ^ -1);
echo '0x786F & -1 = '; var_dump (0x786F & -1);
echo '0x786F | -1 = '; var_dump (0x786F | -1);
echo '0x786F . -1 = '; var_dump (0x786F . -1);
echo '0x786F == -1 = '; var_dump (0x786F == -1);
echo '0x786F === -1 = '; var_dump (0x786F === -1);
echo '0x786F != -1 = '; var_dump (0x786F != -1);
echo '0x786F <> -1 = '; var_dump (0x786F <> -1);
echo '0x786F !== -1 = '; var_dump (0x786F !== -1);
echo '0x786F <= -1 = '; var_dump (0x786F <= -1);
echo '0x786F >= -1 = '; var_dump (0x786F >= -1);
echo '0x786F && -1 = '; var_dump (0x786F && -1);
echo '0x786F || -1 = '; var_dump (0x786F || -1);
#echo '0x786F << -1 = '; var_dump (0x786F << -1);
#echo '0x786F >> -1 = '; var_dump (0x786F >> -1);
echo '0x786F + -10000 = '; var_dump (0x786F + -10000);
echo '0x786F - -10000 = '; var_dump (0x786F - -10000);
#echo '0x786F / -10000 = '; var_dump (0x786F / -10000);
echo '0x786F * -10000 = '; var_dump (0x786F * -10000);
echo '0x786F % -10000 = '; var_dump (0x786F % -10000);
echo '0x786F ^ -10000 = '; var_dump (0x786F ^ -10000);
echo '0x786F & -10000 = '; var_dump (0x786F & -10000);
echo '0x786F | -10000 = '; var_dump (0x786F | -10000);
echo '0x786F . -10000 = '; var_dump (0x786F . -10000);
echo '0x786F == -10000 = '; var_dump (0x786F == -10000);
echo '0x786F === -10000 = '; var_dump (0x786F === -10000);
echo '0x786F != -10000 = '; var_dump (0x786F != -10000);
echo '0x786F <> -10000 = '; var_dump (0x786F <> -10000);
echo '0x786F !== -10000 = '; var_dump (0x786F !== -10000);
echo '0x786F <= -10000 = '; var_dump (0x786F <= -10000);
echo '0x786F >= -10000 = '; var_dump (0x786F >= -10000);
echo '0x786F && -10000 = '; var_dump (0x786F && -10000);
echo '0x786F || -10000 = '; var_dump (0x786F || -10000);
#echo '0x786F << -10000 = '; var_dump (0x786F << -10000);
#echo '0x786F >> -10000 = '; var_dump (0x786F >> -10000);
echo '0x786F + true = '; var_dump (0x786F + true);
echo '0x786F - true = '; var_dump (0x786F - true);
#echo '0x786F / true = '; var_dump (0x786F / true);
echo '0x786F * true = '; var_dump (0x786F * true);
echo '0x786F % true = '; var_dump (0x786F % true);
echo '0x786F ^ true = '; var_dump (0x786F ^ true);
echo '0x786F & true = '; var_dump (0x786F & true);
echo '0x786F | true = '; var_dump (0x786F | true);
echo '0x786F . true = '; var_dump (0x786F . true);
echo '0x786F == true = '; var_dump (0x786F == true);
echo '0x786F === true = '; var_dump (0x786F === true);
echo '0x786F != true = '; var_dump (0x786F != true);
echo '0x786F <> true = '; var_dump (0x786F <> true);
echo '0x786F !== true = '; var_dump (0x786F !== true);
echo '0x786F <= true = '; var_dump (0x786F <= true);
echo '0x786F >= true = '; var_dump (0x786F >= true);
echo '0x786F && true = '; var_dump (0x786F && true);
echo '0x786F || true = '; var_dump (0x786F || true);
#echo '0x786F << true = '; var_dump (0x786F << true);
echo '0x786F >> true = '; var_dump (0x786F >> true);
echo '0x786F + false = '; var_dump (0x786F + false);
echo '0x786F - false = '; var_dump (0x786F - false);
echo '0x786F * false = '; var_dump (0x786F * false);
echo '0x786F ^ false = '; var_dump (0x786F ^ false);
echo '0x786F & false = '; var_dump (0x786F & false);
echo '0x786F | false = '; var_dump (0x786F | false);
echo '0x786F . false = '; var_dump (0x786F . false);
echo '0x786F == false = '; var_dump (0x786F == false);
echo '0x786F === false = '; var_dump (0x786F === false);
echo '0x786F != false = '; var_dump (0x786F != false);
echo '0x786F <> false = '; var_dump (0x786F <> false);
echo '0x786F !== false = '; var_dump (0x786F !== false);
echo '0x786F <= false = '; var_dump (0x786F <= false);
echo '0x786F >= false = '; var_dump (0x786F >= false);
echo '0x786F && false = '; var_dump (0x786F && false);
echo '0x786F || false = '; var_dump (0x786F || false);
#echo '0x786F << false = '; var_dump (0x786F << false);
echo '0x786F >> false = '; var_dump (0x786F >> false);
echo '0x786F + "String" = '; var_dump (0x786F + "String");
echo '0x786F - "String" = '; var_dump (0x786F - "String");
echo '0x786F * "String" = '; var_dump (0x786F * "String");
echo '0x786F ^ "String" = '; var_dump (0x786F ^ "String");
echo '0x786F & "String" = '; var_dump (0x786F & "String");
echo '0x786F | "String" = '; var_dump (0x786F | "String");
echo '0x786F . "String" = '; var_dump (0x786F . "String");
echo '0x786F == "String" = '; var_dump (0x786F == "String");
echo '0x786F === "String" = '; var_dump (0x786F === "String");
echo '0x786F != "String" = '; var_dump (0x786F != "String");
echo '0x786F <> "String" = '; var_dump (0x786F <> "String");
echo '0x786F !== "String" = '; var_dump (0x786F !== "String");
echo '0x786F <= "String" = '; var_dump (0x786F <= "String");
echo '0x786F >= "String" = '; var_dump (0x786F >= "String");
echo '0x786F && "String" = '; var_dump (0x786F && "String");
echo '0x786F || "String" = '; var_dump (0x786F || "String");
#echo '0x786F << "String" = '; var_dump (0x786F << "String");
echo '0x786F >> "String" = '; var_dump (0x786F >> "String");
echo '0x786F + "num3" = '; var_dump (0x786F + "num3");
echo '0x786F - "num3" = '; var_dump (0x786F - "num3");
echo '0x786F * "num3" = '; var_dump (0x786F * "num3");
echo '0x786F ^ "num3" = '; var_dump (0x786F ^ "num3");
echo '0x786F & "num3" = '; var_dump (0x786F & "num3");
echo '0x786F | "num3" = '; var_dump (0x786F | "num3");
echo '0x786F . "num3" = '; var_dump (0x786F . "num3");
echo '0x786F == "num3" = '; var_dump (0x786F == "num3");
echo '0x786F === "num3" = '; var_dump (0x786F === "num3");
echo '0x786F != "num3" = '; var_dump (0x786F != "num3");
echo '0x786F <> "num3" = '; var_dump (0x786F <> "num3");
echo '0x786F !== "num3" = '; var_dump (0x786F !== "num3");
echo '0x786F <= "num3" = '; var_dump (0x786F <= "num3");
echo '0x786F >= "num3" = '; var_dump (0x786F >= "num3");
echo '0x786F && "num3" = '; var_dump (0x786F && "num3");
echo '0x786F || "num3" = '; var_dump (0x786F || "num3");
#echo '0x786F << "num3" = '; var_dump (0x786F << "num3");
echo '0x786F >> "num3" = '; var_dump (0x786F >> "num3");
echo '0x786F + "3" = '; var_dump (0x786F + "3");
echo '0x786F - "3" = '; var_dump (0x786F - "3");
#echo '0x786F / "3" = '; var_dump (0x786F / "3");
echo '0x786F * "3" = '; var_dump (0x786F * "3");
echo '0x786F % "3" = '; var_dump (0x786F % "3");
echo '0x786F ^ "3" = '; var_dump (0x786F ^ "3");
echo '0x786F & "3" = '; var_dump (0x786F & "3");
echo '0x786F | "3" = '; var_dump (0x786F | "3");
echo '0x786F . "3" = '; var_dump (0x786F . "3");
echo '0x786F == "3" = '; var_dump (0x786F == "3");
echo '0x786F === "3" = '; var_dump (0x786F === "3");
echo '0x786F != "3" = '; var_dump (0x786F != "3");
echo '0x786F <> "3" = '; var_dump (0x786F <> "3");
echo '0x786F !== "3" = '; var_dump (0x786F !== "3");
echo '0x786F <= "3" = '; var_dump (0x786F <= "3");
echo '0x786F >= "3" = '; var_dump (0x786F >= "3");
echo '0x786F && "3" = '; var_dump (0x786F && "3");
echo '0x786F || "3" = '; var_dump (0x786F || "3");
#echo '0x786F << "3" = '; var_dump (0x786F << "3");
echo '0x786F >> "3" = '; var_dump (0x786F >> "3");
echo '0x786F + 6.702 = '; var_dump (0x786F + 6.702);
echo '0x786F - 6.702 = '; var_dump (0x786F - 6.702);
#echo '0x786F / 6.702 = '; var_dump (0x786F / 6.702);
echo '0x786F * 6.702 = '; var_dump (0x786F * 6.702);
echo '0x786F % 6.702 = '; @var_dump (0x786F % 6.702);
echo '0x786F ^ 6.702 = '; var_dump (0x786F ^ 6.702);
echo '0x786F & 6.702 = '; var_dump (0x786F & 6.702);
echo '0x786F | 6.702 = '; var_dump (0x786F | 6.702);
echo '0x786F . 6.702 = '; var_dump (0x786F . 6.702);
echo '0x786F == 6.702 = '; var_dump (0x786F == 6.702);
echo '0x786F === 6.702 = '; var_dump (0x786F === 6.702);
echo '0x786F != 6.702 = '; var_dump (0x786F != 6.702);
echo '0x786F <> 6.702 = '; var_dump (0x786F <> 6.702);
echo '0x786F !== 6.702 = '; var_dump (0x786F !== 6.702);
echo '0x786F <= 6.702 = '; var_dump (0x786F <= 6.702);
echo '0x786F >= 6.702 = '; var_dump (0x786F >= 6.702);
echo '0x786F && 6.702 = '; var_dump (0x786F && 6.702);
echo '0x786F || 6.702 = '; var_dump (0x786F || 6.702);
#echo '0x786F << 6.702 = '; var_dump (0x786F << 6.702);
#echo '0x786F >> 6.702 = '; var_dump (0x786F >> 6.702);
echo '0x786F + 40.4e3 = '; var_dump (0x786F + 40.4e3);
echo '0x786F - 40.4e3 = '; var_dump (0x786F - 40.4e3);
#echo '0x786F / 40.4e3 = '; var_dump (0x786F / 40.4e3);
echo '0x786F * 40.4e3 = '; var_dump (0x786F * 40.4e3);
echo '0x786F % 40.4e3 = '; var_dump (0x786F % 40.4e3);
echo '0x786F ^ 40.4e3 = '; var_dump (0x786F ^ 40.4e3);
echo '0x786F & 40.4e3 = '; var_dump (0x786F & 40.4e3);
echo '0x786F | 40.4e3 = '; var_dump (0x786F | 40.4e3);
echo '0x786F . 40.4e3 = '; var_dump (0x786F . 40.4e3);
echo '0x786F == 40.4e3 = '; var_dump (0x786F == 40.4e3);
echo '0x786F === 40.4e3 = '; var_dump (0x786F === 40.4e3);
echo '0x786F != 40.4e3 = '; var_dump (0x786F != 40.4e3);
echo '0x786F <> 40.4e3 = '; var_dump (0x786F <> 40.4e3);
echo '0x786F !== 40.4e3 = '; var_dump (0x786F !== 40.4e3);
echo '0x786F <= 40.4e3 = '; var_dump (0x786F <= 40.4e3);
echo '0x786F >= 40.4e3 = '; var_dump (0x786F >= 40.4e3);
echo '0x786F && 40.4e3 = '; var_dump (0x786F && 40.4e3);
echo '0x786F || 40.4e3 = '; var_dump (0x786F || 40.4e3);
#echo '0x786F << 40.4e3 = '; var_dump (0x786F << 40.4e3);
#echo '0x786F >> 40.4e3 = '; var_dump (0x786F >> 40.4e3);
echo '0x786F + 0x786F = '; var_dump (0x786F + 0x786F);
echo '0x786F - 0x786F = '; var_dump (0x786F - 0x786F);
#echo '0x786F / 0x786F = '; var_dump (0x786F / 0x786F);
echo '0x786F * 0x786F = '; var_dump (0x786F * 0x786F);
echo '0x786F % 0x786F = '; var_dump (0x786F % 0x786F);
echo '0x786F ^ 0x786F = '; var_dump (0x786F ^ 0x786F);
echo '0x786F & 0x786F = '; var_dump (0x786F & 0x786F);
echo '0x786F | 0x786F = '; var_dump (0x786F | 0x786F);
echo '0x786F . 0x786F = '; var_dump (0x786F . 0x786F);
echo '0x786F == 0x786F = '; var_dump (0x786F == 0x786F);
echo '0x786F === 0x786F = '; var_dump (0x786F === 0x786F);
echo '0x786F != 0x786F = '; var_dump (0x786F != 0x786F);
echo '0x786F <> 0x786F = '; var_dump (0x786F <> 0x786F);
echo '0x786F !== 0x786F = '; var_dump (0x786F !== 0x786F);
echo '0x786F <= 0x786F = '; var_dump (0x786F <= 0x786F);
echo '0x786F >= 0x786F = '; var_dump (0x786F >= 0x786F);
echo '0x786F && 0x786F = '; var_dump (0x786F && 0x786F);
echo '0x786F || 0x786F = '; var_dump (0x786F || 0x786F);
#echo '0x786F << 0x786F = '; var_dump (0x786F << 0x786F);
echo '0x786F >> 0xF = '; var_dump (0x786F >> 0xF);
echo '~ 0x786F = '; var_dump (~ 0x786F);
echo '! 0x786F = '; var_dump (! 0x786F);
}

hex_folding();

?>
